CoCASL at Work -- Modelling Process Algebra.

Till Mossakowski Markus Roggenbach Lutz Schröder

Published in: CMCS (2003)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
communication protocols
web services composition
grid workflow
concurrent programs
petri net
temporal logic
real time
open source
distributed systems
formal languages