Login / Signup
Duplication of constants in process algebra.
Jos C. M. Baeten
Michel A. Reniers
Published in:
J. Log. Algebraic Methods Program. (2007)
Keyphrases
</>
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
temporal logic
grid workflow
petri net
web services
case study
programming environment
formal languages