Formal specification and analysis of loosely connected processes

R Miller, Chee Yap

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978
StatePublished - 1978

Publication series

NameComplete report in IBM Research Report RC-6716

Cite this