Πλοήγηση ανά Θέμα "real-time process algebra"
Αποτελέσματα 1-1 από 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 ...