Abstraction in Probabilistic Process Algebra.

Suzana Andova Jos C. M. Baeten

Published in: TACAS (2001)

Keyphrases

process algebra
formal specification
concurrent systems
asynchronous circuits
model checking
formal methods
web services composition
concurrent programs
high level
communication protocols
grid workflow
programming environment
temporal logic
petri net
distributed systems
natural language
database systems
case study