Concurrencies in reversible concurrent calculi (Q2097423): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-09005-9_10
+Normal rank
@@ Property / OpenAlex ID @@
+W4293210605
@@ Property / OpenAlex ID: W4293210605 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrencies in reversible concurrent calculi
@@ Property / cites work: Concurrencies in reversible concurrent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216153
@@ Property / cites work: Q5216153 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual equivalences in configuration structures and reversibility
+Normal rank
@@ Property / cites work @@
+Explicit Identifiers and Contexts in Reversible Concurrent Calculus
+Normal rank
@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of recursion, replication and iteration in process calculi
+Normal rank
@@ Property / cites work @@
+Q4222997
@@ Property / cites work: Q4222997 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Rigid Families for CCS and the $$\pi $$ -calculus
@@ Property / cites work: Rigid Families for CCS and the $$\pi $$ -calculus / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Proved trees
@@ Property / cites work: Proved trees / rank @@
+Normal rank
@@ Property / cites work @@
+Non-interleaving semantics for mobile processes
@@ Property / cites work: Non-interleaving semantics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413247
@@ Property / cites work: Q4413247 / rank @@
+Normal rank
@@ Property / cites work @@
+Causal Computational Complexity of Distributed Processes
+Normal rank
@@ Property / cites work @@
+Event structure semantics of (controlled) reversible CCS
+Normal rank
@@ Property / cites work @@
+From reversible semantics to reversible debugging
@@ Property / cites work: From reversible semantics to reversible debugging / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Flexible Reversibility
@@ Property / cites work: Concurrent Flexible Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Static versus dynamic reversibility in CCS
@@ Property / cites work: Static versus dynamic reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Forward-Reverse Observational Equivalences in CCSK
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to reversible computation
@@ Property / cites work: An axiomatic approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+A parametric framework for reversible \(\pi\)-calculi
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396569
@@ Property / cites work: Q3396569 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility and Models for Concurrency
@@ Property / cites work: Reversibility and Models for Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for concurrency: Towards a classification
@@ Property / cites work: Models for concurrency: Towards a classification / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and Reversibility
@@ Property / cites work: Concurrency and Reversibility / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2097423