Architecture composition for concurrent systems.

Thomas Cottenier Aswin van den Berg Thomas Weigert

Published in: NEMARA@AOSD (2012)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
formal specification
petri net
transition systems
software architecture
access control
data flow
multi agent systems
fine grained
model checking
reference model