Modeling Concurrent Systems: Reconfigurable Nets.

Éric Badouel Marisa Llorens Javier Oliver

Published in: PDPTA (2003)

Keyphrases

concurrent systems
process algebra
distributed systems
model checking
temporal logic
low cost
petri net
formal specification
transition systems
general purpose
reconfigurable architecture