The free process algebra generated by δ, ϵ and τ.

Piet Rodenburg Jan Willem Klop Karst Koymans Jos L. M. Vrancken

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

Keyphrases

process algebra
concurrent systems
formal specification
asynchronous circuits
formal methods
model checking
web services composition
grid workflow
concurrent programs
high level
response time