Synthesis of Safe Message-Passing Systems (Q5458841): 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-77050-3_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1533264240
@@ Property / OpenAlex ID: W1533264240 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability and verification of MSC graphs
@@ Property / cites work: Realizability and verification of MSC graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Message-passing automata are expressively equivalent to EMSO logic
+Normal rank
@@ Property / cites work @@
+Representation of computations in concurrent automata by dependence orders
+Normal rank
@@ Property / cites work @@
+Recognizable languages in concurrency monoids
@@ Property / cites work: Recognizable languages in concurrency monoids / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Infinite-state high-level MSCs: model-checking and realizability
+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 @@
+Bounded time-stamping in message-passing systems
@@ Property / cites work: Bounded time-stamping in message-passing systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835040
@@ Property / cites work: Q3835040 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5458841