{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:56:06Z","timestamp":1725656166106},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540537212"},{"type":"electronic","value":"9783642764622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-76462-2_38","type":"book-chapter","created":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T15:43:46Z","timestamp":1327765426000},"page":"538-552","source":"Crossref","is-referenced-by-count":1,"title":["Formal Description of X.25 Applying a Rule-based Approach"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen M.","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Udo","family":"B\u00e4r","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Monnery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thibault","family":"Mangold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roelof J.","family":"Velthuys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Z\u00f6rntlein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","volume-title":"On the Design of Extended LOTOS Doctoral Dissertation","author":"E Brinksma","year":"1988","unstructured":"E. Brinksma On the Design of Extended LOTOS Doctoral Dissertation, University of Twente, 1988"},{"key":"38_CR2","unstructured":"Committee Consultativ International T\u00e9l\u00e9graphique et T\u00e9l\u00e9phonique Specification and Description Language SDL CCITT SG X Recommendation Z.100, Com X-R15-E, 1987"},{"key":"38_CR3","volume-title":"Tutorial, GI\/ITG Fachtagung Kommunikation In verteilten Systemen","author":"O Drobnik","year":"1989","unstructured":"O. Drobnik Spezifikation, Verifikation und Testen von Protokollen Tutorial, GI\/ITG Fachtagung Kommunikation In verteilten Systemen, University of Stuttgart (FRG), 1989 (In German)"},{"key":"38_CR4","first-page":"78","volume-title":"Abstract Syntax Notation One DATACOM","author":"W Gora","year":"1987","unstructured":"W. Gora, R. Speyerer Abstract Syntax Notation One DATACOM, No. 4, 1987, pp. 78\u201385 (In German)","edition":"4"},{"key":"38_CR5","unstructured":"International Standards Organization (ISO) X.25 Packet Level Protocol IS 8208"},{"key":"38_CR6","unstructured":"International Standards Organization (ISO) Network Service Definition IS 8348"},{"key":"38_CR7","unstructured":"International Standards Organization (ISO) LOTOS - A Formal Description Technique Based On The Temporal Ordering of Observational Behaviour IS 8807"},{"key":"38_CR8","unstructured":"International Standards Organization (ISO) Specification of Abstract Syntax Notation One IS 8824"},{"key":"38_CR9","unstructured":"International Standards Organization (ISO) Specification of Basic Encoding Rules for ASN.I IS 8825"},{"key":"38_CR10","unstructured":"International Standards Organization (ISO) Use of X.25 to provide the OSl connection-mode Network Service IS 8878"},{"key":"38_CR11","unstructured":"International Standards Organization (ISO) X.25 DTE conformance testing - Part 3: Packet level conformance test suite IS 8882\u20133"},{"key":"38_CR12","unstructured":"International Standards Organization (ISO) ESTELLE - a Forma! Description Technique Based On An Extended State Transition Model IS 9074"},{"key":"38_CR13","first-page":"77","volume-title":"Proc. 7th Int. Symp. on Protocol Specification, Testing and Verification","author":"LF Mackert","year":"1987","unstructured":"L.F. Mackert, I.B. Neumeier-Mackert Communicating Rule Systems Proc. 7th Int. Symp. on Protocol Specification, Testing and Verification, H. Rudln, C.H. West (editors), North-Holland, 1987, pp. 77\u201388"},{"key":"38_CR14","volume-title":"Proc. Int. Conf. on Distributed Computing Systems","author":"LF Mackert","year":"1988","unstructured":"L.F. Mackert, R. Meyer, U. Schcere, J.M. Schneider, R.J. Vclthuys, J. Burmeister, J. de Meer, I. Schr\u00f6r A Generalized Conformance Test Tool for Communication Protocols Proc. Int. Conf. on Distributed Computing Systems, San Jose CA., 1988"},{"key":"38_CR15","volume-title":"Formal Specification of the X.25 Packet Level in CRS D.E.S.S","author":"T Mangold","year":"1990","unstructured":"T. Mangold Formal Specification of the X.25 Packet Level in CRS D.E.S.S. Thesis, University of Nancy, 1990"},{"key":"38_CR16","volume-title":"Ecole Nationale Sup\u00e9rieur de T\u00e9l\u00e9communications de Bretagne","author":"I Monncry","year":"1989","unstructured":"J. Monncry A Rule-based Executable Specification of the X.25 Network Layer Masters Thesis, Ecole Nationale Sup\u00e9rieur de T\u00e9l\u00e9communications de Bretagne, 1989"},{"key":"38_CR17","volume-title":"Softwaretechnik f\u00fcr verteilte Systeme","author":"J Nelimer","year":"1988","unstructured":"J. Nelimer Softwaretechnik f\u00fcr verteilte Systeme Springer, 1985 (in German)"},{"key":"38_CR18","volume-title":"Modellierung und Implementierung kommunizierender Systeme mit Hilfe von Regeln Doctoral Dissertation","author":"IB Neumeier-Mackert","year":"1988","unstructured":"I. B. Neumeier-Mackert Modellierung und Implementierung kommunizierender Systeme mit Hilfe von Regeln Doctoral Dissertation, University of Erlangen-N\u00fcrnberg (FRG), 1988 (In German)"},{"key":"38_CR19","unstructured":"U. Scheere X.25 Encoding Rules Internal Report, IBM ENC, 1990"},{"key":"38_CR20","first-page":"421","volume-title":"Proc. 2nd Int. Conf. on Formal Description Techniques for Communication Protocols and Distributed Systems","author":"JM Schneider","year":"1990","unstructured":"J.M. Schneider, I.B. Neiimcicr-Mackcrt, L.F. Mackcrt, R.J. Vclthuys Executable Communicating Rule System Proc. 2nd Int. Conf. on Formal Description Techniques for Communication Protocols and Distributed Systems, S.T. Vuong (editor), North-Holland, 1990, pp. 421\u2013436"},{"key":"38_CR21","volume-title":"Technical Report No.43.9005 IBM ENC","author":"JM Schneider","year":"1990","unstructured":"J.M. Schneider, II. M\u00fcller, L.F. Mackcrt, G. Z\u00f6rntlcin Transition System Semantics for Communicating Rule System\u00e7 Technical Report No.43.9005, IBM ENC, 1990"},{"key":"38_CR22","unstructured":"J.M. Schneider, L.F. Mackcrt, G. Z\u00f6rntlcin, R.J. Vclthuys, U. B\u00e4r An integrated Environment for Developing Communication Protocols Computer Networks and ISDN Systems (to be published)"},{"key":"38_CR23","volume-title":"Computer Networks","author":"AS Tancnbatim","year":"1988","unstructured":"A.S. Tancnbatim Computer Networks Prentice-Hall, 1988"},{"key":"38_CR24","first-page":"517","volume-title":"Proc. 2nd Int. Conf. on Formal Description Techniques for Communication Protocols and Distributed Systems","author":"M Hiomas","year":"1990","unstructured":"M. Hiomas From I Notation to Another One: An ACT-ONE Semantics for ASN.I Proc. 2nd Int. Conf. on Formal Description Techniques for Communication Protocols and Distributed Systems, S. Vuong (editor), North-Holland 1990, pp. 517\u2013531"},{"key":"38_CR25","first-page":"231","volume-title":"Proc. 2nd Int. Workshop on Protocol Test Systems","author":"RJ Velthuys","year":"1990","unstructured":"R.J. Velthuys, J.M. Schneider, L.F. Mackert Protocol Conformance Testing with Communicating Rule Systems Proc. 2nd Int. Workshop on Protocol Test Systems, W. Effelsberg, L. Mackert, J. de Meer (editors), North-Holland 1990, pp. 231\u2013252"},{"key":"38_CR26","unstructured":"R.J. Velthuys, L.F. Mackert, J.M. Schneider, G. Z\u00f6rntlcin Structuring Mechanisms for the Formal Description Technique CRS Technical Report, IBM ENC, Heidelberg (to be published)"},{"key":"38_CR27","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/BFb0026970","volume-title":"Proc. Int. Seminar on Networking in Open Systems","author":"C Vissers","year":"1987","unstructured":"C. Vissers, G. Scollo Formal Specification in OSI Proc. Int. Seminar on Networking in Open Systems, Oberlech, Austria, August 1986, Lecture Notes In Computer Science 248, Springer 1987, pp 338\u201335"}],"container-title":["Informatik-Fachberichte","Kommunikation in verteilten Systemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76462-2_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:03:40Z","timestamp":1606273420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76462-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540537212","9783642764622"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76462-2_38","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}