On the Construction of Submodule Specifications and Communication Protocols

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the Construction of Submodule Specifications and Communication Protocols

Full text

Pdf (1.27 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 5 , Issue 1 (January 1983) table of contents

Pages: 1 - 25

Year of Publication: 1983

ISSN:0164-0925

Authors

Philip Merlin	The Technion
Gregor V. Bochmann	Département d'informatique et de recherche opérationnelle, Université de Montréal, Case postale 6128, Succursale "A," Montréal, Québec H3C 3J7, Canada

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 28, Citation Count: 32

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/357195.357196 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BARTUSSEK, W., AND PARNAS, D.L. Using traces to write abstract specifications for software modules. Rep. TR 77-012, University of North Carolina, 1977.
	2	BOCHMANN, G.V. Distributed synchronization and regularity. Comput. Networks 3 (1979), 36-43.
	3	BOCHMANN, G.V. Finite state description of communication protocols. Comput. Networks 2, 4/5 (Oct. 1978), 361-372.
	4	Gregor V. Bochmann, Communication protocols and error recovery procedures, Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications, p.45-50, January 1975
	5	Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
	6	CERNY, E. Controllability and fault observability in modular combinational circuits. IEEE Trans. Comput. C-27, 10 (Oct. 1978), 896-903.
	7	CERNY, E., AND MARXN, M.A. An approach to unified methodology of combinational switching circuits. IEEE Trans. Cornput. C-26, 8 (Aug. 1977), 745-756.
	8	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	9	John E. Hopcroft , Jeffrey D. Ullman, Formal languages and their relation to automata, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1969
	10	LEGUERNW, P., AND RAYNAL, M. Elements d'un langage adapt~ ~ la communication entre processus. In Actes du Congr/~s AFCET (Association Franqaise pour la Cybernetique, Economique et Technique), Nancy, France, Nov. 1980, pp. 667-676.
	11	LUCKHAM, D.C., A~D KARP, R.A. An axiomatic semantics of concurrent cyclic processes. Tech. Rep., Artificial Intelligence Laboratory, Stanford University, Stanford, Calif., 1979.
	12	George Milne , Robin Milner, Concurrent Processes and Their Syntax, Journal of the ACM (JACM), v.26 n.2, p.302-321, April 1979 [doi>10.1145/322123.322134]
	13	Robin Milner, Four combinators for concurrency, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.104-110, August 18-20, 1982, Ottawa, Canada [doi>10.1145/800220.806687]
	14	PRINOTH, R. Eigenschaften faerbbarber Petri-Netze. Tech. Rep. TRG, Gesellschaft far Mathematik und Datenverarbeitung (GMD), Darmstadt, W. Germany, 1977.
	15	SCHWARTZ, R.L., A~D MELLIAR-SMITH, P.M. Temporal logic specification of distributed systems. In Proceedings, 2nd International Conference on Distributed Systems, Paris, Apr. 8-10, 1981.
	16	ZAFIROPULO, P., WEST, C.H., RUDIN, H., COWAN, D.D., A~D BRA~D, D. Towards analysing and synthesizing protocols. IEEE Trans. Commun. Com-28, 4 (Apr. 1980), 651-661.

CITED BY 32

	George W. Hart , Samir G. Kelekar, Automated repair of complex systems by fault compensation, IEEE/ACM Transactions on Networking (TON), v.2 n.2, p.193-205, April 1994
	Zhongping Tao , Gregor v. Bochmann , Rachida Dssouli, A formal method for synthesizing optimized protocol converters and its application to mobile data networks, Mobile Networks and Applications, v.2 n.3, p.259-269, Dec. 1997
	Pao-Ann Hsiung, Formal synthesis and code generation of embedded real-time software, Proceedings of the ninth international symposium on Hardware/software codesign, p.208-213, April 2001, Copenhagen, Denmark
	David M. Kristol , David Lee , Arun N. Netravali , Krishan Sabnani, A polynomial algorithm for gateway generation from formal specifications, IEEE/ACM Transactions on Networking (TON), v.1 n.2, p.217-229, April 1993
	G von Bochmann , R Gotzhein, Deriving protocol specifications from service specifications, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.148-156, Aug. 5, 1986
	Martin S. Feather, Language support for the specification and development of composite systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.2, p.198-234, April 1987
	K. L. Calvert , S. S. Lam, Deriving a protocol converter: a top-down method, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.247-258, Sep. 1989
	Ching-Hua Chow , Mohamed G. Gouda , Simon S. Lam, A discipline for constructing multiphase communication protocols, ACM Transactions on Computer Systems (TOCS), v.3 n.4, p.315-343, Nov. 1985
	Robert L. Probert , Kassem Saleh, Synthesis of Communication Protocols: Survey and Assessment, IEEE Transactions on Computers, v.40 n.4, p.468-476, April 1991
	Reinhard Gotzhein , Gregor von Bochmann, Deriving protocol specifications from service specifications including parameters, ACM Transactions on Computer Systems (TOCS), v.8 n.4, p.255-283, Nov. 1990
	C. H. Chow , M. G. Gouda , S. S. Lam, An exercise in constructing multi-phase communication protocols, ACM SIGCOMM Computer Communication Review, v.14 n.2, p.42-49, June 1984
	David M. Kristol , David Lee , Arun N. Netravali , Krishan K. Sabnani, Efficient gateway synthesis from formal specifications, ACM SIGCOMM Computer Communication Review, v.21 n.4, p.89-97, Sept. 1991
	F. Khendek , G. von Bochmann , C. Kant, New results on deriving protocol specifications from service specifications, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.136-145, Sep. 1989
	Nina Yevtushenko , Tiziano Villa , Robert K. Brayton , Alex Petrenko , Alberto L. Sangiovanni-Vincentelli, Solution of parallel language equations for logic synthesis, Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, November 04-08, 2001, San Jose, California
	F. Lustman, Specifying Transaction-Based Information Systems with Regular Expressions, IEEE Transactions on Software Engineering, v.20 n.3, p.207-217, March 1994
	Ferhat Khendek , Gregor v. Bochmann, Formal specifications design, evolution and reuse, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering, October 24-28, 1993, Toronto, Ontario, Canada
	Gregor Bochmann, Delay-Independent Design for Distributed Systems, IEEE Transactions on Software Engineering, v.14 n.8, p.1229-1237, August 1988
	Murali Rajagopal , Raymond E. Miller, Synthesizing a Protocol Converter From Executable Protocol Traces, IEEE Transactions on Computers, v.40 n.4, p.487-499, April 1991
	Pao-Ann Hsiung , Cheng-Yi Lin, Synthesis of real-time embedded software with local and global deadlines, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, October 01-03, 2003, Newport Beach, CA, USA
	H. Paul Lin , Harry E. Stovall, III, Self-Synchronizing Communication Protocols, IEEE Transactions on Computers, v.38 n.5, p.609-625, May 1989
	David A. Gustafson, A requirement model for the 5th generation, Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, p.149-156, January 1984
	M. Hakan Erdogmus , Robert Johnston, On the Specification and Synthesis of Communicating Processes, IEEE Transactions on Software Engineering, v.16 n.12, p.1412-1426, December 1990
	Feng-Shi Su , Pao-Ann Hsiung, Extended quasi-static scheduling for formal synthesis and code generation of embedded software, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado
	D. P. Sidhu , J. Aristizabal, Constructing Submodule Specifications and Network Protocols, IEEE Transactions on Software Engineering, v.14 n.11, p.1565-1577, November 1988
	G. V. Bochmann , R. Dssouli , J. R. Zhao, Trace Analysis for Conformance and Arbitration Testing, IEEE Transactions on Software Engineering, v.15 n.11, p.1347-1356, November 1989
	Deepinder Sidhu , Anthony Chung , Thomas P. Blumer, Experience with formal methods in protocol development, ACM SIGCOMM Computer Communication Review, v.21 n.2, p.81-101, April 1991
	Khaled El-Fakih , Nina Yevtushenko , Sergey Buffalov , Gregor V. Bochmann, Progressive solutions to a parallel automata equation, Theoretical Computer Science, v.362 n.1, p.17-32, 11 October 2006
	Dimitra Giannakopoulou , Corina S. Păsăreanu , Howard Barringer, Component Verification with Automatically Generated Assumptions, Automated Software Engineering, v.12 n.3, p.297-320, July 2005
	Kassem Saleh, Synthesis of communications protocols: an annotated bibliography, ACM SIGCOMM Computer Communication Review, v.26 n.5, p.40-59, Oct. 1996
	Jean-Baptiste Raclet, Residual for Component Specifications, Electronic Notes in Theoretical Computer Science (ENTCS), 215, p.93-110, June, 2008
	Mark B. Josephs , Hemangee K. Kapoor, Controllable Delay-Insensitive Processes, Fundamenta Informaticae, v.78 n.1, p.101-130, January 2007
	Roman Vaculin , Roman Neruda , Katia Sycara, The process mediation framework for semantic web services, International Journal of Agent-Oriented Software Engineering, v.3 n.1, p.27-58, February 2009