Interface synthesis and protocol conversion (Q2481210): Difference between revisions

@@ Property / cites work @@
+Q4225147
@@ Property / cites work: Q4225147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous and Bidirectional Component Interfaces
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A discrete event systems approach for protocol conversion
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Q4251912
@@ Property / cites work: Q4251912 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Construction of Submodule Specifications and Communication Protocols
+Normal rank
@@ Property / cites work @@
+Submodule construction as equation solving in CCS
@@ Property / cites work: Submodule construction as equation solving in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422062
@@ Property / cites work: Q4422062 / rank @@
+Normal rank