{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:10Z","timestamp":1725512110834},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540719977"},{"type":"electronic","value":"9783540719984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71998-4_6","type":"book-chapter","created":{"date-parts":[[2007,6,19]],"date-time":"2007-06-19T18:07:11Z","timestamp":1182276431000},"page":"92-110","source":"Crossref","is-referenced-by-count":16,"title":["Structured CSP \u2013 A Process Algebra as an Institution"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley, New York (1990)"},{"key":"6_CR2","unstructured":"Baumeister, H.: Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD thesis, Universit\u00e4t des Saarlandes (1998)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J.A. Bergstra","year":"1990","unstructured":"Bergstra, J.A., Heering, J., Klint, P.: Module algebra. Journal of the ACM\u00a037, 335\u2013372 (1990)","journal-title":"Journal of the ACM"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T. Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical systems for structured specifications. Theoretical Computer Science\u00a0286, 197\u2013245 (2002)","journal-title":"Theoretical Computer Science"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic Methodology and Software Technology","author":"B. Buth","year":"1998","unstructured":"Buth, B., Peleska, J., Shi, H.: Combining methods for the livelock analysis of a fault-tolerant system. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, Springer, Heidelberg (1998)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48118-4_60","volume-title":"FM\u201999 - Formal Methods","author":"B. Buth","year":"1999","unstructured":"Buth, B., Schr\u00f6nen, M.: Model-checking the architectural design of a fail-safe communication system for railway interlocking systems. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, Springer, Heidelberg (1999)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"6_CR9","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Logical Environments, pp. 83\u2013130. Cambridge (1993)"},{"key":"6_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. Springer, Heidelberg (1990)"},{"key":"6_CR11","volume-title":"Categories for Software Engineering","author":"J. Fiadeiro","year":"2004","unstructured":"Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM\u00a039, 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"6_CR13","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_11","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"Y. Isobe","year":"2006","unstructured":"Isobe, Y., Roggenbach, M.: A complete axiomatic semantics for the CSP stable-failures model. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, Springer, Heidelberg (2006)"},{"issue":"1-2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jlap.2005.09.005","volume":"67","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Development graphs \u2013 proof management for structured specifications. Journal of Logic and Algebraic Programming\u00a067(1-2), 114\u2013145 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2005.11.007","volume":"354","author":"M. Roggenbach","year":"2006","unstructured":"Roggenbach, M.: CSP-CASL - a new integration of process algebra and algebraic specification. Theoretical Computer Science\u00a0354(1), 42\u201371 (2006)","journal-title":"Theoretical Computer Science"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Roggenbach","year":"2002","unstructured":"Roggenbach, M., Schr\u00f6der, L.: Towards trustworthy specifications I: Consistency checks. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, Springer, Heidelberg (2002)"},{"key":"6_CR18","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"6_CR19","volume-title":"The Modelling and Analysis of Security Protocols: the CSP Approach","author":"P. Ryan","year":"2001","unstructured":"Ryan, P., Schneider, S., Goldsmith, M., Lowe, G., Roscoe, B.: The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley, Reading (2001)"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation\u00a076, 165\u2013210 (1988)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71998-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:27:55Z","timestamp":1605745675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71998-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540719977","9783540719984"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71998-4_6","relation":{},"subject":[]}}