Browsing by Subject "Algebra of Communicating Shared Resources (ACSR)"
Now showing items 1-1 of 1
-
Article
Resources in process algebra
(2007)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...