Reversibility and asymmetric conflict in event structures (Q890616): 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.1016/j.jlamp.2015.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2000492932
@@ Property / OpenAlex ID: W2000492932 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+A Logic for True Concurrency
@@ Property / cites work: A Logic for True Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733397
@@ Property / cites work: Q4733397 / 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 @@
+General Reversibility
@@ Property / cites work: General Reversibility / 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 @@
+Concurrent Flexible Reversibility
@@ Property / cites work: Concurrent Flexible Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Higher-Order Pi
@@ Property / cites work: Controlling Reversibility in Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of reverse bisimulations on stable configuration structures
+Normal rank
@@ Property / cites work @@
+Reversibility and Asymmetric Conflict in Event Structures
+Normal rank
@@ Property / cites work @@
+Event Identifier Logic
@@ Property / cites work: Event Identifier Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+Modelling of Bonding with Processes and Events
@@ Property / cites work: Modelling of Bonding with Processes and Events / rank @@
+Normal rank
@@ Property / cites work @@
+On the nature of events
@@ Property / cites work: On the nature of events / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and Reversibility
@@ Property / cites work: Concurrency and Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank