Describing a Signal Analyzer in the Process Algebra PMC - A Case Study.

Henrik Reif Andersen Michael Mendler

Published in: TAPSOFT (1995)

Keyphrases

process algebra
formal specification
model checking
concurrent systems
asynchronous circuits
formal methods
communication protocols
concurrent programs
web services composition
grid workflow
case study
information systems
programming environment