A Logic for the Specification and Proof of Regular Controllable Processes of CCS.
Susanne GrafJoseph SifakisPublished in: Acta Informatica (1986)
Keyphrases
- proof theory
- linear logic
- state machine
- natural deduction
- proof search
- proof theoretic
- transition systems
- theorem proving
- asynchronous circuits
- sequent calculi
- linear temporal logic
- automated theorem proving
- automated reasoning
- default reasoning
- theorem prover
- provably correct
- cut elimination
- higher order logic
- deontic logic
- active rules
- logic programming
- high level
- inference rules
- computational models
- computer algebra
- modal logic
- process model
- neural network