On the formal specification and analysis of loosely connected processes

Raymond E. Miller, Chee K. Yap

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

Fingerprint

Dive into the research topics of 'On the formal specification and analysis of loosely connected processes'. Together they form a unique fingerprint.

Keyphrases

Computer Science