ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities (1993)

by P Brémond-Grégoire, I Lee, R Gerber
Venue:In Proc. of CONCUR ’93