CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities

• Authors:

• Patrice Brémond-Grégoire;Susan B. Davidson;Insup Lee

• Affiliations:

• -;-;-

• Venue:
• NAPAW '92 Proceedings of the First North American Process Algebra Workshop
• Year:
• 1992