{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:21:18Z","timestamp":1725898878645},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014426","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T18:08:44Z","timestamp":1134324524000},"page":"153-169","source":"Crossref","is-referenced-by-count":6,"title":["Behavioural theories"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"M. Bidoit and R. Hennicker. Proving behavioural theorems with standard first-order logic. In Proc. of ALP'94, pages 41\u201358. Springer-Verlag L.N.C.S. 850, 1994.","DOI":"10.1007\/3-540-58431-5_6"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and abstractor specifications. Technical Report LIENS-94-10, 1994. A short version appeared as: Characterizing behavioural semantics and abstractor semantics, in Proc. of ESOP'94, Springer-Verlag L.N.C.S. 788, pages 105\u2013119, 1994.","DOI":"10.1007\/3-540-57880-3_7"},{"key":"7_CR3","unstructured":"H. Ehrig and B. Mahr. Fundamentals of algebraic specification 1. Equations and initial semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer. Universal realization, persistent interconnection and implementation of abstract modules. In Proc. of 9th ICALP, pages 265\u2013281. Springer-Verlag L.N.C.S. 140, 1982.","DOI":"10.1007\/BFb0012775"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"R. Hennicker and M. Wirsing. Behavioural specifications. Proof and Computation, International Summer School Marktoberdorf 1993. Springer-Verlag, 1995.","DOI":"10.1007\/978-3-642-79361-5_5"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"M. Hofmann and D. Sannella. On behavioural abstraction and behavioural satisfaction in higher-order logic. In Proc. of TAPSOFT'95. Springer-Verlag L.N.C.S., 1995. To appear.","DOI":"10.1007\/3-540-59293-8_199"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"R. Milner. Fully abstract models of typed \u03bb-calculi. Theoretical Computer Science, 4:1\u201322, 1977.","journal-title":"Theoretical Computer Science"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"P. Nivela and F. Orejas. Initial behaviour semantics for algebraic specification. In Recent Trends in Data Type Specification, pages 184\u2013207. Springer-Verlag L.N.C.S. 332, 1988.","DOI":"10.1007\/3-540-50325-0_10"},{"key":"7_CR9","unstructured":"H. Reichel. Initial restrictions of behaviour. In Proc. of IFIP Working Conference, The Role of Abstract Models in Information Processing, 1985."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specification: implementation revisited. Acta Informatica, 25:233\u2013281, 1988.","journal-title":"Acta Informatica"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0167-6423(90)90057-K","volume":"14","author":"O. Schoett","year":"1990","unstructured":"O. Schoett. Behavioural correctness of data representation. Science of Computer Programming, 14:43\u201357, 1990.","journal-title":"Science of Computer Programming"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Structured specifications: syntax, semantics and proof calculus. Logic and Algebra of Specification, International Summer School Marktoberdorf 1991. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_11"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T14:03:18Z","timestamp":1586613798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0014426","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}