References

1

Richard W. Watson, Sandy A. Mamrak. Gaining efficiency in transport services by appropriate design and implementation choices. ACM transactions on computer systems, Vol 5, No. 2, May 1987, pp 97-120.

2

David D. Clark, Van Jacobson, John Romkey, Howard Salwen. An analysis of TCP processing overhead. IEEE Communications Magazine, June 1989, pp. 23-29.

3

David D. Clark, David L. Tennenhouse. Architectural Considerations for a New Generation Protocols. Computer Communication Review, Vol. 20, No. 4, SIGCOMM '90, September 1990, pp. 200-208.

4

P. Gunninberg, C. Partridge, T. Sirotkin, B. Victor. Delayed evaluation of gigabit protocols. In Proceedings of the MultiG Workshop, 1991.

5

Philipp Hoschka. Towards tailoring generic protocols to application specific requirements. In Proceedings of INFOCOM '93.

6

Mark B. Abbott, Larry L. Peterson. Automatic Integration of Communication Protocol Layers. TR 92-24, Department of Computer Science, University of Arizona.

7

Walid Dabbous, Christian Huitema. XTP implementation under Unix. Technical report, OSI-95 project deliverable INRIA-6, INRIA, Sophia Antipolis.

8

XTP Protocol Definition, Revision 3.6, PEI 92-10, January 1992, xtp-request@pei.com, Protocol Engines Incorporated, Santa Barbara, CA 93101, USA.

9

Walid Dabbous et al. Applicability of the session and the presentation layers for the support of high speed applications. Rapport Technique RT 144, Institut National de Recherche en Informatique et en Automatique, Octobre 1992.

10

Ellen H. Siegel. Applying High-Level Language Paradigms to Distributed Systems In Proceedings of the ACM SIGOPS Workshop, Mont St Michel, France, September 1992.

11

M. Björkman and P. Gunningberg. Locking Effects in Multiprocessor Implementation of Protocols. Submitted to ACM SIGCOMM'93, March 1993.

12

B. Pehrson, P. Gunningberg and S. Pink. MultiG - A Research program on Distributed Multimedia Applications and Gigabit Networks. IEEE Networks, January 1992.

13

C. Partridge and S. Pink. A Faster UDP. Submitted to IEEE Transaction on Networking.

14

B. Lyles, B. Ahlgren Avoiding Copying Data in ATM Host/Network Interfaces. Submitted to ACM SIGCOMM'93, March 1993.

15

P. Gunningberg, M. Björkman, E. Nordmark, S. Pink, P. Sjödin and J-E. Strömquist. Application Protocols and Performance Benchmarks. In IEEE Communications Magazine, June 1989.

16

A. El Iraki, G. Lapalme, G. V. Bochmann. Experience with ADA for the design and the implementation of Interactive Systems. In Journal of Pascal, ADA and Modula-2, pp. 24-32, May/June 1990.

17

VHDL: Language Reference Manual. IEEE Draft Standard 1076/B, May 1987.

18

F. Boussinot, R. de Simone. The ESTEREL Language. In Proceeding of the IEEE, Vol. 79, No. 9, September 1991.

19

D. Clark, S. Shenker, and L. Zhang. Supporting real-time applications in an integrated services packet network: Architecture and mechanism. ACM, pages 14-26, 1992.

20

H. Tokuda, Y. Tobe, S. T.-C. Chou, and J. M. F. Moura. Continuous media communication with dynamic QOS control using ARTS with an FDDI network. ACM, pages 88-98, 1992.

21

Hutchinson, N., Peterson, L. Design of the x-kernel Proceedings of SIGCOMM 88 August 1988 pp 65-75

22

Larry L. Peterson, Nick C. Buchholz, Richard D. Schlichting Preserving and using Context Information in Interprocess Communication ACM Transactions on Computer Systems V 7,3, August 1989 pp. 217-246

23

L Aceto and M Hennessy, Adding action refinement to finite algebra. In M Rodriguez, J Leach Albert, B Monien, editor, Automata, Languages and programming, 18th International Colloquium, volume 510 of LNCS, pages 506 - 519. Springer-Verlag, 1991.

24

J.C.M Baeten and W.P Weijland Process Algebra. Cambridge Tracts in Theoretical Computer Science 18, 1990.

25

T.P Blumer and D.P Sidhu, Mechanical verification and automatic implementation of communication protocols. IEEE Tr on Software Eng., vol.SE-12, number 8, August 1986.

26

G.V Bochmann, A general transition model for protocols and communication services. IEEE Tr on Communications, vol. COM-28, number 4, April 1980, pp. 643-650.

27

G.V Bochmann et all, Experience with formal specifications using extended state transition model. IEEE Tr on Communications, December 1982.

28

T Bolognesi and Ed Brinksma, Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems (NORTH-HOLLAND), No. 14, 1987, pp. 25-59.

29

S Budkowski and P Dembinski, An introduction to Estell; a specification language for distributed systems. Comput Networks ISDN Systems 14(1) pages 3-23, 1988.

30

J.P Courtiat, J.M Ayache and B Algayres, Petri nets are good for protocols. Comput. Comm. Rev. 14(2) pages 66-74, 1984.

31

J.P Courtiat, Estelle*, a Powerful Dialect of Estelle for Protocol Description. IFIP Protocol Specification, Testing and Verification, North Holland, 1988.

32

J.P Courtiat and D.E Sadouni, A Case Study in Protocol Design. In E Brinksma , T Bolognesi and C.A Vissers, editors, Third LotoSphere Workshop &Seminar, Pise, Italy, September 1992.

33

J.P Courtiat and P de Saqui-Sannes, ESTIM: an integrated environment for the simulation and verification of OSI protocols specified in Estelle*. Computer Networks and ISDN Systems 25, pages 83-98, 1992.

34

J.P Courtiat and D.E Sadouni, Action Refinement in LOTOS, In Proceedings of the 13th IFIP Symposium on Protocol Specification, Testing and Verification. -PSTV 93-.

35

P Darondeau and P Degano, About semantic action refinement. Fundamental Informaticae, XIV:221-234, 1991.

36

P Degano and R Gorrieri, Atomic refinement in process description languages. In A Tarlecki. editor, Mathematical Foundations of Computer Science, volume 520 of LNCS, pages 121-130. Springer-Verlag, 1991.

37

M Diaz, Modeling and analysis of communication and cooperation protocols using Petri net based models. Tutorial paper, Computer Networks, vol.6, number 6, December 1982.

38

M Diaz, J.P Ansart, J.P Courtiat, P Azema, V Chari, Editors, The Formal description techniques Estelle. North-Holland, 1989.

39

M Diaz and C.A Vissers, SEDOS, Software environment for the design of open distributed systems. IEEE Software Magazine, November 1989.

40

ESTELLE, A Formal Description Technique Based on an Extended State Transition Model, ISO IS 9074, 1989.

41

C.A.R Hoare, Communicating Sequential Processes. C.A.R Hoare Series Editor. Prentice Hall, 1985.

42

LOTOS, A Formal Description Technique Based on the Ordering of Observational Behavior, ISO IS 8807, 1989.

43

R Milner, Communication and Concurrency. C.A.R Hoare Series Editor. Prentice Hall, 1989.

44

P de Saqui-Sannes and J.P Courtiat, From the simulation to the Verification of Estelle Specifications. 2nd International Conference on Formal Description Techniques (FORTE 89), S.T Vuong Editor, North-Holland, 1990.

45

P.H.J van Eijk, C.A Vissers and M Diaz, editors The formal description technique LOTOS, North-Holland, 1989.

46

Ian Wakeman, Jon Crowcroft, Zheng Wang, and Dejan Siro- vica, Layering considered harmful, IEEE Network January 1992, p. 7, 16 July 1991.

47

MAVROS, Highlights on an ASN.1 compiler, INRIA research note, May 1991.

48

Christian Huitema, Assem Doghri. Defining faster transfer syntaxes for the OSI Presentation Protocol. Computer Communication Review, Vol 19, No 5, Oct 1989, pp. 44-55.

49

Christian Huitema. Definition of the Flat Tree Light Weight Syntax (FTLWS). Internal Document, INRIA Sophia Antipolis, July 1990.

50

R. Colella, R. Aronoff, K. Mills. Performance Improvements for ISO Transport. Ninth Data Communication Symposium, ACM SIGCOMM, Computer Communication Review, Vol. 15, No. 5, September 1985

51

Hemant Kanakia, David R. Cheriton. The VMP Network Adapter Board (NAB): High-Performance Network Communication for Multiprocessors. Proceedings of the SIGCOMM'88, Stanford, CA, 1988, pp. 175-187.

52

T. Braun and M. Zitterbart. Parallel Transport System Design. IFIP Conference on High Performance Networking, Liège, Belgique, Décembre 1992.

53

T. F. La Porta and M. Schwartz. A high-Speed Protocol Parallel Implementation: Design and Analysis. IFIP Conference on High Performance Networking, Liège, Belgique, Décembre 1992.

54

Greg Chesson. XTP/PE Design Considerations. Proceedings of the IFIP Workshop on Protocols for high speed networks, Zurich, Switzerland, 9-11 May, 1989.

55

Kenneth P. Birman. The Process Group Approach to Reliable Distributed Computing. Technical Report, Cornell University, Ithaca, USA, July 1991.

56

D. Cheriton and W. Zwaenepoel. Distributed process groups in the V-kernel. ACM Tran. on Computer Systems, 3(2), May 1985.

57

Eric C. Cooper. Replicated distributed programs. In 10th ACM Symposium on Operating Systems Principles, ACM, Berkeley, California 94720, USA, November 1985.

58

H. Garcia-Molina and Annemarie Spauster. Message ordering in a multicast environment. In 9th Internacional Conference on Distributed Computing Systems, pages 354-361, IEEE, June 1989.

59

The ANSA Reference Manual. Architecture Projects Management, Ltd, Cambridge, UK, release 1.1 edition, July 1989.

60

Larry L. Peterson, Nick C. Buchholdz, and Richard D. Schlichting. Preserving and using context information in interprocess communication. ACM Transactions on Computer Systems, 7(3), August 1989.

61

D. Powell, editor. Delta-4 - A Generic Architecture for Dependable Distributed Computing. ESPRIT Research Reports, Springer Verlag, November 1991.

62

S. O'Malley L. Peterson. A highly Layered Architecture for High-Speed Networks. 2nd Intl. Workshop on Protocols for High-Speed Network, North-Holland, 1990

63

D. Feldmeier. A Framework of Architectural Concepts for High Speed Communication Systems. To appear in May 1993 issue of IEEE Journal on Selected Areas of Communication

64

Mark B. Abbott, Larry L. Peterson. A Language-Based Approach to Protocol Implementation. IEEE/ACM Transactions on Networking, Vol 1, No 1, Feb. 1993.