Asynchronous Communication in Real Space Process Algebra.

Jos C. M. Baeten Jan A. Bergstra

Published in: FTRTFT (1992)

Keyphrases

asynchronous communication
process algebra
formal specification
synchronous communication
model checking
artificial intelligence
asynchronous circuits
machine learning
formal methods
grid workflow
database
web services
query language
object oriented
communication protocols
web services composition