Login / Signup
Real time process algebra with time-dependent conditions.
Jos C. M. Baeten
Cornelis A. Middelburg
Published in:
J. Log. Algebraic Methods Program. (2001)
Keyphrases
</>
real time
process algebra
concurrent systems
asynchronous circuits
formal methods
formal specification
model checking
database
expert systems
distributed systems
communication protocols
web services composition