Login / Signup
A Real-Time Process Algebra with Open Intervals and Maximal Progress.
Harald Fecher
Published in:
Nord. J. Comput. (2001)
Keyphrases
</>
real time
process algebra
formal specification
asynchronous circuits
concurrent systems
model checking
formal methods
web services composition
communication protocols
grid workflow
petri net
object oriented
general purpose
programming environment