Login / Signup
A Temporal Analysis of Some Concurrent Systems.
Ben C. Moszkowski
Published in:
The Analysis of Concurrent Systems (1983)
Keyphrases
</>
temporal analysis
concurrent systems
temporal logic
distributed systems
process algebra
formal specification
model checking
petri net
transition systems
user contributed
temporal trends
real time