6 search results - page 2 / 2 » 07101 Abstracts Collection -- Quantitative Aspects of Embedd... |
JLP
2007
13 years 5 months ago
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 ...