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).

Formal specification and analysis of loosely connected processes. / Miller, R; Yap, Chee.

Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978. 1978. (Complete report in IBM Research Report RC-6716; No. 28917).

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

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.
Miller R, Yap C. 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. 1978. (Complete report in IBM Research Report RC-6716; 28917).
Miller, R ; Yap, Chee. / Formal specification and analysis of loosely connected processes. Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978. 1978. (Complete report in IBM Research Report RC-6716; 28917).
@inproceedings{0ef5a1187a3a43e89f2b0ddc6906769c,
title = "Formal specification and analysis of loosely connected processes",
author = "R Miller and Chee Yap",
year = "1978",
language = "English (US)",
series = "Complete report in IBM Research Report RC-6716",
number = "28917",
booktitle = "Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978",

}

TY - GEN

T1 - Formal specification and analysis of loosely connected processes

AU - Miller, R

AU - Yap, Chee

PY - 1978

Y1 - 1978

M3 - Conference contribution

T3 - Complete report in IBM Research Report RC-6716

BT - Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978

ER -