Q5089270 (Q5089270): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual equivalences in configuration structures and reversibility
+Normal rank
@@ Property / cites work @@
+On reversible Turing machines and their function universality
+Normal rank
@@ Property / cites work @@
+Hereditary History-Preserving Bisimilarity: Logics and Automata
+Normal rank
@@ Property / cites work @@
+A Logic for True Concurrency
@@ Property / cites work: A Logic for True Concurrency / 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 @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Steps in Petri Nets
@@ Property / cites work: Reversing Steps in Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of generalized reversible computing
@@ Property / cites work: Foundations of generalized reversible computing / rank @@
+Normal rank
@@ Property / cites work @@
+Event structure semantics of (controlled) reversible CCS
+Normal rank
@@ Property / cites work @@
+Reversible nondeterministic finite automata
@@ Property / cites work: Reversible nondeterministic finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for Communicating Transactions
@@ Property / cites work: Bisimulations for Communicating Transactions / 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 @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computation and Quantum Information
@@ Property / cites work: Quantum Computation and Quantum Information / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computation in Petri nets
@@ Property / cites work: Reversible computation in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+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 @@
+Event Identifier Logic
@@ Property / cites work: Event Identifier Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / 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 @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5089270