Communicating sequential processes
Communicating sequential processes
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Submodule construction as equation solving in CCS
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobile Networks and Applications - Special issue: protocols for mobile environments
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Advanced Component Interface Specification
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Solving Asynchronous Equations
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Submodule Construction and Supervisory Control: A Generalization
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
Compositionally Progressive Solutions of Synchronous FSM Equations
Discrete Event Dynamic Systems
Interface synthesis and protocol conversion
Formal Aspects of Computing
Using First-Order Logic to Reason about Submodule Construction
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Submodule construction for extended state machine models
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Testing in context: framework and test derivation
Computer Communications
| Hi-index | 0.00 |
Submodule construction is the problem of finding a new submodule which, together with a given submodule, provides a behavior that conforms to a given desired global behavior. A new formulation of this problem and its solution in first-order logic is presented, and it is shown how the known solutions to this problem in the context of various communication paradigms and specification formalisms can be derived. Communication paradigms are: synchronous rendezvous at several interfaces; interleaved rendezvous; input/output automata with complete or partial behavior specifications and with synchronous or interleaved communication. A new algorithm for deriving a progressive solution is also presented.