A theory of regular MSC languages (Q2573333): 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.1016/j.ic.2004.08.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2166159524
@@ Property / OpenAlex ID: W2166159524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535063
@@ Property / cites work: Q4535063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738217
@@ Property / cites work: Q4738217 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Semi-commutations
@@ Property / cites work: Semi-commutations / rank @@
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Logical definability on infinite traces
@@ Property / cites work: Logical definability on infinite traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737197
@@ Property / cites work: Q4737197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427918
@@ Property / cites work: Q4427918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754187
@@ Property / cites work: Q2754187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536376
@@ Property / cites work: Q4536376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736865
@@ Property / cites work: Q4736865 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting message flow graphs
@@ Property / cites work: Interpreting message flow graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535064
@@ Property / cites work: Q4535064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474224
@@ Property / cites work: Q4474224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536625
@@ Property / cites work: Q4536625 / 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 @@
+Q4941891
@@ Property / cites work: Q4941891 / rank @@
+Normal rank
@@ Property / cites work @@
+An expressively complete linear time temporal logic for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank