Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.
Patrick LincolnNarciso Martí-OlietJosé MeseguerPublished in: Specification of Parallel Algorithms (1994)
Keyphrases
- concurrent systems
- transition systems
- process algebra
- temporal logic
- formal specification
- model checking
- distributed systems
- reactive systems
- petri net
- asynchronous circuits
- programming language
- modal logic
- linear temporal logic
- rewriting rules
- information systems
- rewrite rules
- code generation
- formal language
- transformation rules
- programming course
- object oriented programming
- logic programming
- query rewriting
- state machine
- computer programming
- conjunctive queries
- high level
- artificial intelligence
- queries using views