Contradiction-tolerant process algebra with propositional signals.

Jan A. Bergstra Cornelis A. Middelburg

Published in: CoRR (2015)

Keyphrases

process algebra
formal specification
concurrent systems
model checking
formal methods
asynchronous circuits
web services composition
communication protocols
concurrent programs
grid workflow
first order logic
petri net
formal languages
programming environment
reverse engineering
temporal logic
distributed systems