Canonical finite state machines for distributed systems (Q1044846): Difference between revisions

@@ Property / describes a project that uses @@
+AsmL
@@ Property / describes a project that uses: AsmL / 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/j.tcs.2009.09.039
+Normal rank
@@ Property / OpenAlex ID @@
+W2140903976
@@ Property / OpenAlex ID: W2140903976 / rank @@
+Normal rank
@@ Property / cites work @@
+The synchronization problem in protocol testing and its complexity
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+On state reduction of incompletely specified finite state machines
+Normal rank
@@ Property / cites work @@
+On the testability of SDL specifications
@@ Property / cites work: On the testability of SDL specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Checking sequences for distributed test architectures
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+State Reduction in Incompletely Specified Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Coordination algorithm for distributed testing
@@ Property / cites work: Coordination algorithm for distributed testing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1044846