Contradiction-Tolerant Process Algebra with Propositional Signals.

Jan A. Bergstra Cornelis A. Middelburg

Published in: Fundam. Informaticae (2017)

Keyphrases

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