Let's PARTY: Process Algebra With Real-time From York.

Chris Ho-Stuart Ming Fang Hussein S. M. Zedan

Published in: RTS (1992)

Keyphrases

real time
process algebra
formal specification
model checking
concurrent systems
asynchronous circuits
formal methods
web services composition
communication protocols
knowledge representation
software engineering
quality of service