Discrete time process algebra with silent step.

Jos C. M. Baeten Jan A. Bergstra Michel A. Reniers

Published in: Proof, Language, and Interaction (2000)

Keyphrases

process algebra
concurrent systems
model checking
formal specification
web services composition
formal methods
asynchronous circuits
concurrent programs
communication protocols
natural language
open source
social networks
high level
general purpose
fine grained
formal languages