Login / Signup
Abstraction in Real Time Process Algebra.
Steven Klusener
Published in:
REX Workshop (1991)
Keyphrases
</>
real time
process algebra
concurrent systems
asynchronous circuits
model checking
formal specification
formal methods
database
high level
information systems
temporal logic
web services composition