Process Algebra of Communicating Shared Resources with Dense Time and Priorities (1997)

by P Brémond-Grégoire, I Lee
Venue:Theoretical Computer Science