A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources
Under a Creative Commons license
open access
Keywords
process calculus
true concurrency
resource
consumption
quantification
pomset
denotational semantics
structural operational semantics
full abstraction
Cited by (0)
Copyright © 2012 Elsevier B.V.