Polarized process algebra with reactive composition.

Jan A. Bergstra Inge Bethke

Published in: Theor. Comput. Sci. (2005)

Keyphrases

formal languages
process algebra
concurrent programs
web services composition
highly reliable
grid workflow
artificial intelligence
case study
quality of service
temporal logic
formal specification
web service composition
formal methods
asynchronous circuits
concurrent systems