A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.
Gabriel BaumMarcelo F. FriasT. S. E. MaibaumPublished in: AMAST (1998)
Keyphrases
- real time systems
- algebraic structure
- formal language
- process algebra
- asynchronous circuits
- formal semantics
- transition systems
- computer algebra
- reactive systems
- distributed systems
- real time
- theorem prover
- concurrent systems
- operational semantics
- theorem proving
- logic programming
- active rules
- real time database systems
- embedded systems
- proof theoretic
- specification language
- proof theory
- timing constraints
- formal specification
- propositional dynamic logic
- mission critical
- tableau calculus
- model checking
- computational properties
- real time embedded
- information processing
- nonmonotonic logics
- control flow
- formal methods
- architectural model
- low cost
- object oriented programming language
- timed automata
- anytime algorithms
- modeling language
- source code
- multi agent