Login / Signup
Specification and Implementation of Concurrent Systems using PARLOG.
David R. Gilbert
Published in:
Specification and Verification of Concurrent Systems (1988)
Keyphrases
</>
concurrent systems
transition systems
formal specification
process algebra
specification language
temporal logic
distributed systems
model checking
high level
petri net
efficient implementation
knowledge base
case study
fine grained
asynchronous circuits