Contextual equivalences in configuration structures and reversibility (Q347363): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2016.08.004
@@ Property / DOI: 10.1016/j.jlamp.2016.08.004 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q10
@@ Property / Mathematics Subject Classification ID: 68Q10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6658135
@@ Property / zbMATH DE Number: 6658135 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal semantics
@@ Property / zbMATH Keywords: formal semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process algebras
@@ Property / zbMATH Keywords: process algebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process calculi
@@ Property / zbMATH Keywords: process calculi / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reversible CCS
@@ Property / zbMATH Keywords: reversible CCS / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hereditary history-preserving bisimulation
@@ Property / zbMATH Keywords: hereditary history-preserving bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+strong barbed congruence
@@ Property / zbMATH Keywords: strong barbed congruence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+contextual characterization
@@ Property / zbMATH Keywords: contextual characterization / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963245642
@@ Property / OpenAlex ID: W2963245642 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05750
@@ Property / arXiv ID: 1511.05750 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216153
@@ Property / cites work: Q5216153 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Self-assembling Trees
@@ Property / cites work: Self-assembling Trees / 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 @@
+Q3851636
@@ Property / cites work: Q3851636 / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of reverse bisimulations on stable configuration structures
+Normal rank
@@ Property / cites work @@
+A Logic for True Concurrency
@@ Property / cites work: A Logic for True Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and action refinement
@@ Property / cites work: Bisimulation and action refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3388525
@@ Property / cites work: Q3388525 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2016.08.004
@@ Property / DOI: 10.1016/J.JLAMP.2016.08.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:347363