6 search results - page 2 / 2 » 07101 Abstracts Collection -- Quantitative Aspects of Embedd... |
127
click to vote
JLP
2007
15 years 3 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 ...