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