A process algebra with global variables.

Mark Bouwman Bas Luttik Wouter Schols Tim A. C. Willemse

Published in: EXPRESS/SOS (2020)

Keyphrases

process algebra
formal specification
concurrent systems
model checking
asynchronous circuits
communication protocols
web services composition
concurrent programs
formal methods
temporal logic
information systems
high level
programming environment