Petri nets, event structures and domains. I (Q1148680): Difference between revisions

@@ Property / author @@
-Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
-Normal rank
@@ Property / author @@
+Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q109517082
@@ Property / Wikidata QID: Q109517082 / 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.1016/0304-3975(81)90112-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1991052229
@@ Property / OpenAlex ID: W1991052229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896497
@@ Property / cites work: Q3896497 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Processes and Their Syntax
@@ Property / cites work: Concurrent Processes and Their Syntax / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical aspects of net theory
@@ Property / cites work: Mathematical aspects of net theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3873555
@@ Property / cites work: Q3873555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1148680