A Logic for the Specification and Proof of Controllable Processes of CCS.
Susanne GrafJoseph SifakisPublished in: Logics and Models of Concurrent Systems (1984)
Keyphrases
- linear logic
- asynchronous circuits
- proof theory
- natural deduction
- proof theoretic
- proof search
- higher order logic
- sequent calculi
- transition systems
- state machine
- theorem proving
- computational properties
- process model
- linear temporal logic
- logical rules
- inference rules
- classical logic
- automated theorem proving
- theorem prover
- high level
- computer algebra
- provably correct
- automated reasoning
- active rules
- formal language
- sequent calculus
- predicate logic
- modal logic
- conditional logic
- cut elimination
- operational semantics
- logic programming
- complete axiomatization
- classical first order logic
- formal verification