Trace and Testing Equivalence on Asynchronous Processes

Information and Computation 2002 Vol. 172; Iss. 2

Trace and Testing Equivalence on Asynchronous Processes

Michele Boreale, Rocco De Nicola, Rosario Pugliese
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
172
Year:
2002
Language:
english
Pages:
26
DOI:
10.1006/inco.2001.3080
File:
PDF, 205 KB
english, 2002
Conversion to is in progress
Conversion to is failed