{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:42Z","timestamp":1725456042506},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566625"},{"type":"electronic","value":"9783540476238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0024641","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:09:15Z","timestamp":1132722555000},"page":"93-109","source":"Crossref","is-referenced-by-count":0,"title":["Towards an implementation-oriented specification of TP protocol in LOTOS"],"prefix":"10.1007","author":[{"given":"Ing","family":"Widya","sequence":"first","affiliation":[]},{"given":"Gert-Jan","family":"van der Heijden","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"unstructured":"C. A. Vissers, J. v.d. Lagemaat \u201dReport on LotoSphere\u201d Proc.ESPRIT Technical Week, Brussels, Nov. 1989","key":"8_CR1"},{"unstructured":"J.Navarro and P.San Martin, \u201dExperience in the Development of an ISDN Layer 3 Service in LOTOS\u201d, in J. Quemada et.al. (eds), Formal Description Techniques III, North Holland, 1991 pages 327\u2013336.","key":"8_CR2"},{"unstructured":"R. E. Booth, V. M. Jones, R. J. Clark, F. Juillot, G-J. van der Heijden, and I. Widya, \u201dA formal development trajectory for OSI application layer protocols\u201d, Proc. of the 5th International Conference on Putting into Practice Methods and Tools for Information System Design, Nantes, Sept. 1992.","key":"8_CR3"},{"unstructured":"\u201dLOTOS Industrial Application: Mini-Mail\u201d, E.Wiedmer, LotoSphere Project ES-PRIT II 2304, Final Deliverable, Lo\/WP3\/T3.2\/N0068, 1992","key":"8_CR4"},{"unstructured":"ISO\/DIS 10026-3 Information Processing Systems \u2014 Open Systems Interconnection \u2014 Distributed Transaction Processing \u2014 Part 3: Protocol Specification, 1990.","key":"8_CR5"},{"unstructured":"ISO, \u201dProtocol Specification for the Association Control Service Element\u201d, ISO\/IS 8650, 1988.","key":"8_CR6"},{"unstructured":"ISO, \u201dProtocol Specification for the Commitment, Concurrency and Recovery Service Element\u201d ISO\/IS 9805.3.","key":"8_CR7"},{"unstructured":"M. T. Rose, \u201dThe ISO Development Environment: User's Manual\u201d, ISODE 6.0, Performance Systems Int. Inc., Jan. 1990.","key":"8_CR8"},{"unstructured":"A. M. Fletcher, \u201dAn Overview of the OSI Transaction Processing Standard\u201d, Proc. Int. Open Systems '89, Online Publ., 1989, page 153\u2013162.","key":"8_CR9"},{"unstructured":"L. F. Pires and C. A. Vissers, \u201dOverview of the LotoSphere Design Methodology\u201d, ESPRIT Conf. 1990, Brussels Nov. 12\u201315, 1990.","key":"8_CR10"},{"unstructured":"ISO, \u201dLOTOS \u2014 a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour\u201d, ISO\/IS 8807, 1988.","key":"8_CR11"},{"unstructured":"C. A. Vissers, G.Scollo and M.van Sinderen, \u201dArchitecture and Specification Style in Formal Descriptions of Distributed Systems\u201d, Proc. IFIP WG6.1, PSTV VIII, North Holland, 1989, page 189\u2013204.","key":"8_CR12"},{"unstructured":"ISO, \u201dGuidelines for the Application Estelle, LOTOS and SDS, ISO-IEC\/TR 10167, 1990.","key":"8_CR13"},{"unstructured":"ISO, \u201dApplication Layer Structure\u201d, ISO\/IS 9545, 1989.","key":"8_CR14"},{"unstructured":"M. van Sinderen and I. Widya, \u201dOn the Design and Formal Specification of a Transac-tion Processing Protocol\u201d, In J. Quemada et.al. (eds), Formal Description Technique III, North Holland, 1991, pages 411\u2013426.","key":"8_CR15"},{"unstructured":"\u201dThe Lotosphere Design Methodology: Guidelines\u201d, LotoSphere Project ESPRIT II 2304, Lo\/WP1\/T1.1\/N0044\/V04, March 1992.","key":"8_CR16"},{"unstructured":"\u201dLOTOS Specification of the OSI OCR Protocol: Architecture\u201d, Val. Jones and Robert Clark, LotoSphere Project ESPRIT II 2304, Lo\/WP3\/T3.1\/UST\/N0003.","key":"8_CR17"},{"unstructured":"H. Eertink and D. Wolz, \u201dSymbolic Execution of LOTOS Specification\u201d, Proceeding of the 5th International Conference on Formal Description Techniques, ed. M. Diaz and R. Groz, Lannion, France, Oct. 1992, pp. 289\u2013304.","key":"8_CR18"},{"key":"8_CR19","volume-title":"Implementation of the OSI Association Control Service Element Using C-ex","author":"R. Levy","year":"1991","unstructured":"\u201dImplementation of the OSI Association Control Service Element Using C-ex\u201d, R. Levy, Computer Networks Laboratory, EPF-Lausanne, Switzerland, 1991"},{"unstructured":"\u201dDetailed Design Document: COLOS\u201d, E. Dubuis and K. Warkentyne, LotoSphere Project ESPRIT II 2304, Lo\/WP2\/T2.2\/ASCOM\/N0024, 1992.","key":"8_CR20"},{"unstructured":"\u201dOn the Use of Pre-Defined Implementation Constructs in Distributed Systems Design\u201d, L. F. Pires, M. van Sinderen and C. A. Vissers, Third Workshop on Future Trends of Distributed Computing Systems in the 1990's, Taipei, April 1992","key":"8_CR21"},{"unstructured":"\u201dTP Protocol Version 3.0: a cycle 2 version\u201d, E. van der Burg, and I. Widya, LotoSphere Project ESPRIT II 2304, Lo\/WP3\/T3.1\/UT\/N0020\/V2, 1992.","key":"8_CR22"},{"unstructured":"M. Caneve and E. Salvatori (eds), \u201dLite User Manual\u201d, ESPRIT II 2304 internal report Lo\/WP2\/N0034, April, 1991.","key":"8_CR23"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T07:41:09Z","timestamp":1549352469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566625","9783540476238"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0024641","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}