The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic.
Gruia-Catalin RomanH. Conrad CunninghamPublished in: ICDCS (1990)
Keyphrases
- concurrent programming
- programming language
- proof theory
- linear logic
- concurrent programs
- logic programming
- set theory
- general purpose
- proof search
- proof theoretic
- automated theorem proving
- natural deduction
- formal logic
- fault tolerance
- theorem proving
- classical logic
- distributed systems
- logical rules
- databases
- database