Browsing by Subject "real-time process algebra"
Now showing items 1-1 of 1
-
Article
A Family of Resource-Bound Real-Time Process Algebras
(2006)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 ...