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