A Functional Programming Approach to the Specification and Verification of Concurrent Systems.
Peter DybjerHerbert P. SanderPublished in: Formal Aspects Comput. (1989)
Keyphrases
- concurrent systems
- functional programming
- transition systems
- formal specification
- process algebra
- model checking
- temporal logic
- distributed systems
- functional language
- execution model
- programming language
- object oriented programming
- petri net
- formal methods
- formal verification
- protocol specification
- reactive systems
- databases
- reverse engineering
- database
- fine grained
- logic programming