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
Number28917

Cite this

Miller, R., & Yap, C. (1978). Formal specification and analysis of loosely connected processes. In Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978 (Complete report in IBM Research Report RC-6716; No. 28917).