A process algebraic view of I/O automata /
Main Author: | |
---|---|
Corporate Author: | |
Format: | Thesis Book |
Language: | English |
Published: |
Cambridge, Mass. :
Laboratory for Computer Science, Massachusetts Institute of Technology,
1992
|
Series: | Technical report (Massachusetts Institute of Technology. Laboratory for Computer Science) ;
MIT/LCS/TR-557 |
Subjects: |