Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk).

Philippa Gardner

Published in: CONCUR (2022)

Keyphrases

invited talk
environmental conditions
mobile robot
computational intelligence
information retrieval
electronic commerce
knowledge discovery and data mining
selected papers