Login / Signup
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.
Joost-Pieter Katoen
Rom Langerak
Ed Brinksma
Diego Latella
Tommaso Bolognesi
Published in:
Formal Methods Syst. Des. (1998)
Keyphrases
</>
process algebra
petri net
concurrent systems
formal specification
asynchronous circuits
formal methods
model checking
concurrent programs
web services composition
communication protocols
grid workflow
real time
reverse engineering
high level
life cycle