Login / Signup
Trace Theory and the Specification of Concurrent Systems.
Anne Kaldewaij
Published in:
The Analysis of Concurrent Systems (1983)
Keyphrases
</>
concurrent systems
transition systems
process algebra
formal specification
temporal logic
petri net
model checking
distributed systems
theoretical framework
formal methods
database
real time
decision making
production system
information theory