Automated Analysis of Discrete Communication Behavior
IEEE Transactions on Software Engineering
Software—Practice & Experience
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
Specification of time dependencies and synthesis of concurrent processes
ICSE '87 Proceedings of the 9th international conference on Software Engineering
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Tools for LOTOS Specification Style Transformation
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
A LOTOS-Based Development Strategy
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Powerdomains
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
| Hi-index | 0.00 |
An objective methodology for the specification and synthesis of communicating processes is presented. It is demonstrated that algebraic operators can be used to formulate communicating processes in terms of behavioral constraints and that the corresponding state-machine-type process descriptions can be derived automatically or synthesized from these formulations. The behavioral constraints serve as high-level specifications for communicating processes. These constraints indicate the desired behavior of a process, possibly embedded in a system, by defining its range. The proposed approach is shown to be applicable to a common problem which concerns the synthesis of the central module serving a number of clients in a specific distributed system configuration.