Rosen's (M, R) system in process algebra.

Derek Gatherer Vashti Galpin

Published in: BMC Syst. Biol. (2013)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
temporal logic
petri net
grid workflow
formal languages
programming environment
database
distributed systems
service composition