An Asynchronous soundness theorem for concurrent separation logic.
Paul-André MellièsLéo StefanescoPublished in: CoRR (2018)
Keyphrases
- intuitionistic logic
- asynchronous circuits
- delay insensitive
- classical logic
- logic programming
- state machines
- state machine
- predicate logic
- shift register
- von neumann
- defeasible logic
- linear logic
- multi valued
- case study
- neural network
- formal theory
- discussion forums
- mutual exclusion
- online discussion
- modal logic
- concurrent programming