Timed Rewriting Logic with an Application to Object-Based Specification.
Piotr KosiuczenkoMartin WirsingPublished in: Sci. Comput. Program. (1997)
Keyphrases
- asynchronous circuits
- petri net
- formal language
- state machine
- linear temporal logic
- transition systems
- colored petri nets
- active rules
- automated reasoning
- modal logic
- formal specification
- termination analysis
- specification languages
- neural network
- multi valued
- classical logic
- operational semantics
- specification language
- predicate logic
- rewrite rules
- finite state machines
- timed automata
- logic programming
- database
- query rewriting
- defeasible logic
- temporal logic
- conjunctive queries
- knowledge representation