Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions.
Peter E. LauerM. W. ShieldsJohn Yiannis CotronisPublished in: ICFPC (1981)
Keyphrases
- concurrent systems
- formal specification
- transition systems
- process algebra
- specification languages
- specification language
- formal methods
- model checking
- temporal logic
- reactive systems
- reverse engineering
- software components
- distributed systems
- business rules
- petri net
- simplifying assumptions
- requirements specification
- fine grained
- underlying assumptions
- information systems
- neural network
- data sets