Login / Signup
The State Operator in Real Time Process Algebra.
Jos C. M. Baeten
Jan A. Bergstra
Published in:
REX Workshop (1991)
Keyphrases
</>
real time
process algebra
model checking
formal specification
formal methods
concurrent systems
artificial intelligence
high level
source code
asynchronous circuits
grid workflow