Asynchronous communication of Petri Nets and the refinement of transitions (Q5204351): Difference between revisions

@@ Property / cites work @@
+Q3660928
@@ Property / cites work: Q3660928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3820017
@@ Property / cites work: Q3820017 / rank @@
+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 @@
+Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738569
@@ Property / cites work: Q3738569 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785958
@@ Property / cites work: Q3785958 / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics and deadlocking of modular Petri nets
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank