On the formal specification and analysis for loosely connected processes

• Authors:

• Raymond E. Miller;Chee-Keng Yap

• Affiliations:

• -;-

• Venue:
• Proceedings of the International Conference on Mathematical Studies of Information Processing
• Year:
• 1978