Causal dependencies in multiplicative linear logic with MIX
DOI10.1017/S0960129500000797zbMath0852.03022OpenAlexW2098064994WikidataQ114653953 ScholiaQ114653953MaRDI QIDQ4862762
Publication date: 5 December 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500000797
distributed systemsacyclicitychainsproof netsmultiplicative linear logiccausal dependenciesempiresconcurrent computationsMIX ruleproof structuresdeadlock freeGirard's token triplogical flow of information
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Cites Work
This page was built for publication: Causal dependencies in multiplicative linear logic with MIX