On the abstract specification and formal analysis of synchronization properties of concurrent systems

• Authors:

• Peter E. Lauer;M. W. Shields

• Affiliations:

• -;-

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