Formal specification and analysis of loosely connected processes

R Miller; Chee Yap

Formal specification and analysis of loosely connected processes

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978
State	Published - 1978

Publication series

Name	Complete report in IBM Research Report RC-6716
Number	28917

Cite this

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 proceeding › Conference contribution

@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 -