Progress, Fairness and Justness in Process Algebra.

Rob J. van Glabbeek Peter Höfner

Published in: CoRR (2015)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
petri net
temporal logic
grid workflow
database systems
web service composition
formal languages
information systems
machine learning