Quasi-stratified Order Semantics of Concurrency.

Maciej Koutny Lukasz Mikulski

Published in: CoRR (2024)

Keyphrases

database systems
case study
artificial intelligence
image sequences
domain knowledge
formal semantics