arXiv (All)
open access
Concurrency, Causality and Conflict via Independence in Reversible Calculi
Among the different ways of approaching the semantics of process calculi, true-concurrency models stand out for their ability to highlight subtle interplays between events. At their heart lie three crucial relations: concurrency, causality and conflict. This paper shows that reversibility, when endo
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Genuine Process Logic#769421
- Boundary as Failure of Retention — Kasei-Theory, Series II, Vol.8#87873
- Computation and Concurrency#149182
- Randomized versus Deterministic Implementations of Concurrent Data Structures#320087
- IMPROVEMENTS IN DATABASE CONCURRENCY CONTROL WITH LOCKING#933626
Record · ID 1014089
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive