Login / Signup
Process Algebra with Propositional Signals.
Jos C. M. Baeten
Jan A. Bergstra
Published in:
Theor. Comput. Sci. (1997)
Keyphrases
</>
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
communication protocols
web services composition
concurrent programs
grid workflow
temporal logic
petri net
first order logic
database
artificial intelligence
distributed systems