Causal message sequence charts (Q843103): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2009.06.013
@@ Property / DOI: 10.1016/j.tcs.2009.06.013 / rank @@
-Normal rank
@@ Property / cites work @@
+Fundamentals of Computation Theory
@@ Property / cites work: Fundamentals of Computation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532079
@@ Property / cites work: Q4532079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Causal Message Sequence Charts
@@ Property / cites work: Causal Message Sequence Charts / 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 @@
+Q2769610
@@ Property / cites work: Q2769610 / 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 @@
+Asymptotic Enumeration of Partial Orders on a Finite Set
+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 @@
+Q4736868
@@ Property / cites work: Q4736868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941891
@@ Property / cites work: Q4941891 / 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 @@
+Q4252989
@@ Property / cites work: Q4252989 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2009.06.013
@@ Property / DOI: 10.1016/J.TCS.2009.06.013 / rank @@
+Normal rank