Proving testing preorders for process algebra descriptions.

Fulvio Corno Marco Cusinato Mario Ferrero Paolo Prinetto

Published in: ED&TC (1995)

Keyphrases

process algebra
concurrent programs
concurrent systems
formal specification
asynchronous circuits
model checking
formal methods
web services composition
communication protocols
grid workflow
distributed systems
high level
fine grained
test cases
petri net
web services
case study