Specification formalisms for component-based concurrent systems.
Rance CleavelandPublished in: ACM SIGSOFT Softw. Eng. Notes (2000)
Keyphrases
- concurrent systems
- transition systems
- formal specification
- process algebra
- temporal logic
- distributed systems
- model checking
- petri net
- specification language
- formal verification
- logic programming
- knowledge representation
- knowledge representation formalisms
- high level
- reverse engineering
- data sets
- nonmonotonic reasoning
- formal methods