ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.

Patrice Brmond-Grgoire, Insup Lee, Richard Gerber

Browse the full CONCUR paper archive.