Case Studies in The Hybrid Process Algebra Hypa.

Ka L. Man Michel A. Reniers Pieter J. L. Cuijpers

Published in: Int. J. Softw. Eng. Knowl. Eng. (2005)

Keyphrases

process algebra
case study
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
communication protocols
web services composition
concurrent programs
open source
software development
temporal logic
real world
grid workflow
petri net
general purpose