Relational structures model of concurrency (Q934912): Difference between revisions

@@ Property / cites work @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+Petri net semantics of priority systems
@@ Property / cites work: Petri net semantics of priority systems / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and denotational semantics for the box algebra
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent histories: a basis for observing distributed systems
+Normal rank
@@ Property / cites work @@
+Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations*
+Normal rank
@@ Property / cites work @@
+Intransitive indifference with unequal indifference intervals
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268450
@@ Property / cites work: Q4268450 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of concurrency
@@ Property / cites work: Structure of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of inhibitor nets
@@ Property / cites work: Semantics of inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of modelling concurrency using discrete relational structures
+Normal rank
@@ Property / cites work @@
+Q4458493
@@ Property / cites work: Q4458493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023058
@@ Property / cites work: Q4023058 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining conditional independence using collapses
@@ Property / cites work: Defining conditional independence using collapses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547959
@@ Property / cites work: Q4547959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766567
@@ Property / cites work: Q2766567 / rank @@
+Normal rank
@@ Property / cites work @@
+Process semantics of general inhibitor nets
@@ Property / cites work: Process semantics of general inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948015
@@ Property / cites work: Q4948015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413367
@@ Property / cites work: Q3413367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4372017
@@ Property / cites work: Q4372017 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed testing of concurrent systems
@@ Property / cites work: Timed testing of concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699325
@@ Property / cites work: Q4699325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766581
@@ Property / cites work: Q2766581 / rank @@
+Normal rank