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

@@ Property / author @@
-Walter Vogler
@@ Property / author: Walter Vogler / rank @@
-Normal rank
@@ Property / author @@
+Walter Vogler
@@ Property / author: Walter Vogler / rank @@
+Normal rank
@@ 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.1007/3-540-55719-9_108
+Normal rank
@@ Property / OpenAlex ID @@
+W2138139184
@@ Property / OpenAlex ID: W2138139184 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5204351