On the abstract specification and formal analysis of synchronization properties of concurrent systems.
Peter E. LauerM. W. ShieldsPublished in: Mathematical Studies of Information Processing (1978)
Keyphrases
- formal analysis
- concurrent systems
- transition systems
- formal methods
- process algebra
- formal specification
- model checking
- temporal logic
- distributed systems
- high level
- petri net
- agent model
- reverse engineering
- state machines
- formal language
- business rules
- machine learning
- access control
- knowledge acquisition
- object oriented
- case study