{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:49Z","timestamp":1725456049577},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024655","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"332-350","source":"Crossref","is-referenced-by-count":4,"title":["Different FDT's confronted with different ODP-viewpoints of the trader"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Fischer","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Prinz","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Vogel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"CCITT: CCITT Specification and description language SDL. Recommendation Z.100 (SDL'92). Geneva. 1992."},{"key":"22_CR2","unstructured":"CCITT: Sliding Window Protocol Example. Study Group X \u2014 Report R 29, Document COM X-R 29-E of CCITT. chapter 9. pp 75\u2013134. 1988."},{"key":"22_CR3","unstructured":"Duke, R.; King, P.; Rose, G.; Smith, G.: The Object-Z Specification Language Version 1. Technical Report No 91\u20131. Software Verification Research Centre. Department of Computing Science. The University of Queensland. 1991."},{"key":"22_CR4","unstructured":"ISO: LOTOS \u2014 A formal description technique based on the temporal ordering of observational behaviour. ISO 8807. International Standard."},{"key":"22_CR5","unstructured":"ISO\/IEC: Proposed Draft Answer to the Question Q7\/1 on the Suitability of the Formal Description Technique Z for Use in ODP. Ottawa. May 1992."},{"key":"22_CR6","unstructured":"ISO\/IEC: Basic Reference Model of Open Distributed Processing \u2014 Part 1\u20135. ISO\/IEC JTC1\/SC21. Working Draft."},{"key":"22_CR7","unstructured":"ISO\/IEC: ODP Trader. ISO\/IEC JTC1\/SC21. Working Document."},{"key":"22_CR8","unstructured":"Prinz, A.: The Sliding Window Protocol \u2014 correct or not? internal paper."},{"key":"22_CR9","unstructured":"Spivey, J.M., Tie Z notation \u2014 a reference manual. Prentice-Hall International. 1989."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Vogel, A.: LOTOS Design Methodology Based on ODP \u2014 Viewpoints. in Hogrefe, D. (Editor): Formale Beschreibungstechniken f\u00fcr verteilte Systeme. Springer Verlag. 1992.","DOI":"10.1007\/978-3-642-77580-2_4"},{"key":"22_CR11","unstructured":"Vogel, A.: Entwurf, Realisierung und Test von ODP Systemen auf der Grundlage von formalen Beschreibungstechniken. (in german). Berlin. in preparation."}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024655.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:53:07Z","timestamp":1607550787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024655"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0024655","relation":{},"subject":[]}}