Evolving concurrent systems: behavioural theory and logic.
Klaus-Dieter ScheweFlavio FerrarottiLoredana TecQing WangWenya AnPublished in: ACSW (2017)
Keyphrases
- concurrent systems
- transition systems
- formal theory
- temporal logic
- distributed systems
- set theory
- commonsense reasoning
- process algebra
- petri net
- modal logic
- logical framework
- model checking
- formal specification
- proof theory
- theoretical framework
- boolean algebra
- causal reasoning
- predicate logic
- computer algebra
- logic programming
- artificial intelligence