The Temporal Semantics of Concurrent Programs.
Amir PnueliPublished in: Semantics of Concurrent Computation (1979)
Keyphrases
- concurrent programs
- process algebra
- temporal dimension
- temporal relations
- formal specification
- concurrent systems
- formal methods
- temporal information
- asynchronous circuits
- model checking
- concurrent programming
- temporal reasoning
- formal semantics
- communication protocols
- real time
- web applications
- web services composition
- object oriented
- case study
- artificial intelligence
- machine learning