{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:22Z","timestamp":1725494842782},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_36","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:30:57Z","timestamp":1194985857000},"page":"1625-1643","source":"Crossref","is-referenced-by-count":4,"title":["Verifying behavioural specifications in CafeOBJ environment"],"prefix":"10.1007","author":[{"given":"Akira","family":"Mori","sequence":"first","affiliation":[]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"36_CR1","series-title":"Technical Report CS97-538","volume-title":"Theoretical Computer Science","author":"J. Goguen","year":"1997","unstructured":"Goguen, J., Malcolm, G.: A Hidden Agenda. To appear in Theoretical Computer Science, also available as Technical Report CS97-538, Computer Sci.& Eng. Dept., Univ. of Calif. at San Diego (1997)"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Nakagawa, A.: An Overview of CAFE Specification Environment: an algebraic approach for creating, verifying, and maintaining formal specification over networks, Proc. of First IEEE Int\u2019l. Conf. on Formal Engineering Methods (1997)","DOI":"10.1109\/ICFEM.1997.630424"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report. World Scientific (1998)","DOI":"10.1142\/3831"},{"key":"36_CR4","unstructured":"Diaconescu, R: Behavioural Coherence in Object-oriented Algebraic Specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute of Science and Technology (1998)"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Ros\u00b5, G., Goguen, J.: Hidden Congruent Deduction. To appear in Lecture Notes in Artificial Intelligence (1999)","DOI":"10.1007\/3-540-46508-1_17"},{"issue":"2-3","key":"36_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and Abstractor Specifications. Science of Computer Programming 25(2-3) (1995) 149\u2013186","journal-title":"Science of Computer Programming"},{"key":"36_CR7","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"issue":"5","key":"36_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/362946.362970","volume":"12","author":"K. Bartlett","year":"1969","unstructured":"Bartlett, K., Scantlebury, R., Wilkinson, P.: A Note on Reliable Full-duplex Transmission over Half-duplex Links. Communication of the ACM 12(5) (1969) 260\u2013261","journal-title":"Communication of the ACM"},{"key":"36_CR9","series-title":"Technical Monograph","volume-title":"Proving Correctness of Refinement and Implementation","author":"G. Malcolm","year":"1994","unstructured":"Malcolm, G., Goguen, J.: Proving Correctness of Refinement and Implementation. Technical Monograph PRG-114, Programming Research Group, University of Oxford (1994)"},{"key":"36_CR10","unstructured":"Goguen, J.. Mori, A., Lin, K, Ros\u00b5, G., Sato, A.: Distributed Cooperative Formal Methods Tools. Proc. of IEEE First Int'l Conf. on Automated Software Engineering (1997) 55\u201362"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Para Marcos, M., Patel, J.: A Low-Overhead Coherence Solution for Multiprocessors with Private Cache Memories. Proc. of Eleventh Int\u2019l. Symp. on Computer Architecture (1984) 348354","DOI":"10.1145\/800015.808204"},{"key":"36_CR12","unstructured":"Pong, F.: Symbolic State Model: A New Approach for the Verification of Cache Coherence Protocols. Ph.D. Thesis, Dept. of Electrical Engineering Systems, Univ. of Southern California (1995)"},{"key":"36_CR13","series-title":"Lect Notes Comput Sci","first-page":"276","volume-title":"Invariants, Bisimulations and the Correctness of Coalgebraic Refinements","author":"B. Jacobs","year":"1998","unstructured":"Jacobs, B.: Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. Lecture Notes in Computer Science 1349 (1998) 276\u2013291"},{"issue":"1","key":"36_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008649901864","volume":"6","author":"P. Cousot","year":"1999","unstructured":"Cousot, P., Cousot, R.: Refining Model Checking by Abstract Interpretation. To appear in Automated Software Engineering Journal 6(1) (1999) 69\u201395","journal-title":"Automated Software Engineering Journal"},{"key":"36_CR15","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufman Pub. Inc. (1996)"},{"key":"36_CR16","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In B\u00f6rger, ed. Specification and Validation Methods, Oxford University Press (1995) 9\u201336"},{"key":"36_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Coalgebra Semantics for Hidden Algebra: Parameterized Objects and Inheritance","author":"C. C\u00eerstea","year":"1998","unstructured":"C\u00eerstea, C.: Coalgebra Semantics for Hidden Algebra: Parameterized Objects and Inheritance. Lecture Notes in Computer Science 1376 (1998)"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:30:01Z","timestamp":1556955001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}