Semantics of Deterministic Shared-Memory Systems (Q3541010): 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.1007/978-3-540-85361-9_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1508621757
@@ Property / OpenAlex ID: W1508621757 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the notions of traces and of asynchronous automata
+Normal rank
@@ Property / cites work @@
+Asynchronous mappings and asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+Q4038692
@@ Property / cites work: Q4038692 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous cellular automata for pomsets
@@ Property / cites work: Asynchronous cellular automata for pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed product and asynchronous automata
@@ Property / cites work: Mixed product and asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484501
@@ Property / cites work: Q4484501 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+Regular sets of infinite message sequence charts
@@ Property / cites work: Regular sets of infinite message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+MSO Logic for Unambiguous Shared-Memory Systems
@@ Property / cites work: MSO Logic for Unambiguous Shared-Memory Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3152830
@@ Property / cites work: Q3152830 / 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 @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835040
@@ Property / cites work: Q3835040 / rank @@
+Normal rank