Modeling Concurrent Systems with Shared Resources.

Ángel Herranz-Nieva Julio Mariño Manuel Carro Juan José Moreno-Navarro

Published in: FMICS (2009)

Keyphrases

concurrent systems
temporal logic
resource management
modeling method
distributed systems
limited resources
process algebra
transition systems
model checking
knowledge base
relational databases
information resources
formal specification
modeling framework