Login / Signup
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition.
Gul Agha
Published in:
Application and Theory of Petri Nets (1996)
Keyphrases
</>
concurrent systems
high level
distributed systems
temporal logic
formal specification
process algebra
web service composition
social networks
transition systems
knowledge base
open source