A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Stefania GnesiPaola InverardiMonica NesiPublished in: Concurrency (1988)
Keyphrases
- delay insensitive
- formal descriptions
- control flow
- asynchronous circuits
- bounded model checking
- transition systems
- data flow
- classical logic
- logic programming
- execution traces
- formal language
- modal logic
- connected components
- active rules
- recursive programs
- execution model
- code generation
- operational semantics
- model checking
- specification language
- automated reasoning
- software engineering
- defeasible logic
- model checker
- high level
- multi valued
- query language
- data model