Four Operators to Express Time Constraints in a Process Algebra.

Published in: Kommunikation in Verteilten Systemen (1989)

Keyphrases

process algebra
model checking
asynchronous circuits
concurrent systems
concurrent programs
formal specification
formal methods
case study
general purpose
web services composition
machine learning
artificial intelligence
information systems
wireless networks
communication protocols