Q4600773 (Q4600773): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03656
@@ Property / arXiv ID: 1611.03656 / rank @@
+Normal rank
@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality of safe communication in systems of team automata
+Normal rank
@@ Property / cites work @@
+Compatibility and inheritance in software architectures
+Normal rank
@@ Property / cites work @@
+Compatibility in a multi-component environment
@@ Property / cites work: Compatibility in a multi-component environment / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of programs with half-duplex communication
+Normal rank
@@ Property / cites work @@
+Decidable Topologies for Communicating Automata with FIFO and Bag Channels
+Normal rank
@@ Property / cites work @@
+Channel Properties of Asynchronously Composed Petri Nets
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Synchronizing Asynchronous Conformance Testing
@@ Property / cites work: Synchronizing Asynchronous Conformance Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Interface Theory for Component-based Design
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4600773