latched before the output signals in the bundle are stable. The algorithm used to detect delay faults in the processing logic of the ASC is similar to that exploited in delay testing of combinational circuits [15]. Basically, the pair of test patterns < , > must be applied to the inputs of the combinational circuit to detect its delay path fault. The pair < , > is made up of < @ , @ >, where an...

At interaction point c, the environment can provide the number of a new instance of the station process. The next behavior expression consists in the new instance interleaved with the installer itself. We have presented a style of LOTOS specification based on synchronization between processes to exchange status information. This style takes full advantage of the capabilities of the control part...

19 and complete calculus for DFOL based on ML systems. Finally we have compared our formalism with other formalisms for the representation and integration of distributed knowledge and reasoning systems. Acknowledgments. We thank all the people of the Mechanized Reasoning Group of IRST and DISA for useful discussions and feedback on the paper. We thank Massimo Benerecetti and Sergio Tessaris for...