{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:53Z","timestamp":1725663653501},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:51:05Z","timestamp":1330249865000},"page":"244-254","source":"Crossref","is-referenced-by-count":3,"title":["From data structure to process structure"],"prefix":"10.1007","author":[{"name":"Tele-Informatics Group","sequence":"first","affiliation":[]},{"given":"Ed","family":"Brinksma","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14, 22\u201359 (1987).","journal-title":"Computer Networks and ISDN Systems"},{"key":"24_CR2","volume-title":"Doctoral Dissertation","author":"E. Brinksma","year":"1988","unstructured":"Brinksma, E.: On the design of Extended LOTOS. Doctoral Dissertation, University of Twente, The Netherlands, 1988."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Brinksma, E.: Constraint-Oriented Specification in a Constructive Formal Description Technique, in: LNCS 430, pp. 130\u2013152, Springer, 1989.","DOI":"10.1007\/3-540-52559-9_63"},{"key":"24_CR4","volume-title":"Memorandum INF-91-38\/TIOS-91-11","author":"E. Brinksma","year":"1991","unstructured":"Brinksma, E., Kars, W.: From data structure to process structure. Memorandum INF-91-38\/TIOS-91-11, University of Twente, The Netherlands, 1991."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"24_CR7","unstructured":"ISO: LOTOS, A formal description technique based on the temporal ordering of observational behaviour. International Standard ISO 8807, 1989."},{"key":"24_CR8","unstructured":"Larsen, K.G.: Ideal Specification Formalism = Expressivity + Compositionality + Decidability + Testability + ..., in: Baeten, J.C.M., Klop, J.W. (eds.): CONCUR'90, LNCS 458, Springer, pp. 33\u201356 (1990)."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Larsen, K., Milner, R.: Verifying a protocol using relativized bisimulation, in: Proc. ICALP'87, LNCS 267, Springer, 1987.","DOI":"10.1007\/3-540-18088-5_11"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS 92, Springer, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G. Milne","year":"1985","unstructured":"Milne, G.: CIRCAL and the Representation of Communication, Concurrency and Time. ACM Trans. on Progr. Languages and Systems 7, 270\u2013298 (1985).","journal-title":"ACM Trans. on Progr. Languages and Systems"},{"key":"24_CR12","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, 1989."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Vissers, C.A., Scollo, G., Van Sinderen, M., Brinksma, E.: Specification Styles in Distributed Systems Design and Verification, to appear in: Special Issue TCS Tapsoft'89.","DOI":"10.1016\/0304-3975(90)90111-T"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:14:21Z","timestamp":1640924061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}