{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:32:22Z","timestamp":1725525142727},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642002540"},{"type":"electronic","value":"9783642002557"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00255-7_13","type":"book-chapter","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T02:12:32Z","timestamp":1233972752000},"page":"183-199","source":"Crossref","is-referenced-by-count":8,"title":["Modelling Divergence in Relational Concurrent Refinement"],"prefix":"10.1007","author":[{"given":"Eerke","family":"Boiten","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"13_CR1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0304-3975(87)90065-X","volume":"53","author":"S. Abramsky","year":"1987","unstructured":"Abramsky, S.: Observation equivalence as a testing equivalence. Theor. Comput. Sci.\u00a053(2-3), 225\u2013241 (1987)","journal-title":"Theor. Comput. Sci."},{"volume-title":"Handbook of Process Algebra","year":"2001","key":"13_CR2","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier Science Inc., New York (2001)"},{"key":"13_CR3","unstructured":"Boiten, E.A., Derrick, J.: Incompleteness of relational simulations in the blocking paradigm (submitted for publication, 2008)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Boiten, E.A., Derrick, J., Schellhorn, G.: Relational concurrent refinement II: Internal operations and outputs. Formal Aspects of Computing (accepted for publication)","DOI":"10.1007\/s00165-007-0066-z"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems\u00a014(1), 25\u201359 (1988)","journal-title":"Computer Networks and ISDN Systems"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-47884-1_13","volume-title":"Integrated Formal Methods","author":"C. Bolton","year":"2002","unstructured":"Bolton, C., Davies, J.: Refinement in Object-Z and CSP. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 225\u2013244. Springer, Heidelberg (2002)"},{"key":"13_CR7","unstructured":"Brinksma, E., Scollo, G.: Formal notions of implementation and conformance in LOTOS. Technical Report INF-86-13, Dept of Informatics, Twente University of Technology (1986)"},{"key":"13_CR8","first-page":"349","volume-title":"Protocol Specification, Testing and Verification, VI","author":"E. Brinksma","year":"1986","unstructured":"Brinksma, E., Scollo, G., Steenbergen, C.: Process specification, their implementation and their tests. In: Sarikaya, B., Bochmann, G.v. (eds.) Protocol Specification, Testing and Verification, VI, Montreal, Canada, jun 1986, pp. 349\u2013360. North-Holland, Amsterdam (1986)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","first-page":"223","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Butler","year":"1997","unstructured":"Butler, M.: An approach to the design of distributed systems with B AMN. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 223\u2013241. Springer, Heidelberg (1997)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-52148-8_2","volume-title":"Proceedings of the international workshop on Automatic verification methods for finite state systems","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. In: Proceedings of the international workshop on Automatic verification methods for finite state systems, pp. 11\u201323. Springer, New York (1990)"},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. Nicola de","year":"1987","unstructured":"de Nicola, R.: Extensional equivalences for transition systems. Acta Informatica\u00a024(2), 211\u2013237 (1987)","journal-title":"Acta Informatica"},{"key":"13_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Methods and their Comparison","author":"W.-P. de Roever","year":"1998","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge University Press, Cambridge (1998)"},{"key":"13_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","volume":"15","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Boiten, E.A.: Relational concurrent refinement. Formal Aspects of Computing\u00a015(1), 182\u2013214 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Derrick, J., Boiten, E.A.: Relational concurrent refinement with internal operations. In: Aichernig, B., Boiten, E.A., Derrick, J., Groves, L. (eds.) BCS-FACS Refinement Workshop. ENTCS, vol.\u00a0187, pp. 35\u201353 (2006)","DOI":"10.1016\/j.entcs.2006.08.043"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Derrick, J., Boiten, E.A.: More relational concurrent refinement: traces and partial relations. In: Boiten, E.A., Derrick, J., Schellhorn, G. (eds.) Proceedings REFINE. ENTCS (to appear, 2008)","DOI":"10.1016\/j.entcs.2008.06.012"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s001650050007","volume":"10","author":"J. Derrick","year":"1998","unstructured":"Derrick, J., Boiten, E.A., Bowman, H., Steen, M.: Specifying and Refining Internal Operations in Z. Formal Aspects of Computing\u00a010, 125\u2013159 (1998)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R.J. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.J.: The linear time - branching time spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J.: The linear time \u2013 branching time spectrum II; the semantics of sequential systems with silent moves (extended abstract). In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J.: The linear time - branching time spectrum I. The semantics of concrete sequential processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 3\u201399. North-Holland, Amsterdam (2001)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-16442-1_14","volume-title":"ESOP 86","author":"H. Jifeng","year":"1986","unstructured":"Jifeng, H., Hoare, C.A.R., Sanders, J.W.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.) ESOP 1986. LNCS, vol.\u00a0213, pp. 187\u2013196. Springer, Heidelberg (1986)"},{"volume-title":"Algebraic theory of processes","year":"1988","author":"M. Hennessy","key":"13_CR22","unstructured":"Hennessy, M.: Algebraic theory of processes. MIT Press, Cambridge (1988)"},{"volume-title":"Communicating Sequential Processes","year":"1985","author":"C.A.R. Hoare","key":"13_CR23","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01788563","volume":"3","author":"M.B. Josephs","year":"1988","unstructured":"Josephs, M.B.: A state-based approach to communicating processes. Distributed Computing\u00a03, 9\u201318 (1988)","journal-title":"Distributed Computing"},{"key":"13_CR25","unstructured":"Leduc, G.: On the Role of Implementation Relations in the Design of Distributed Systems using LOTOS. PhD thesis, University of Li\u00e8ge, Li\u00e8ge, Belgium (June 1991)"},{"volume-title":"Communication and Concurrency","year":"1989","author":"R. Milner","key":"13_CR26","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/BFb0036936","volume-title":"Automata, Languages and Programming","author":"R. Nicola De","year":"1983","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. In: D\u00edaz, J. (ed.) ICALP 1983. LNCS, vol.\u00a0154, pp. 548\u2013560. Springer, Heidelberg (1983)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/3-540-48320-9_35","volume-title":"CONCUR\u201999. Concurrency Theory","author":"A. Puhakka","year":"1999","unstructured":"Puhakka, A., Valmari, A.: Weakest-congruence results for livelock-preserving equivalences. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 510\u2013524. Springer, Heidelberg (1999)"},{"issue":"3","key":"13_CR29","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s00165-008-0076-5","volume":"20","author":"S. Reeves","year":"2008","unstructured":"Reeves, S., Streader, D.: Data refinement and singleton failures refinement are not equivalent. Formal Aspects of Computing\u00a020(3), 295\u2013301 (2008)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR30","series-title":"International Series in Computer Science","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/11423348_2","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"A.W. Roscoe","year":"2005","unstructured":"Roscoe, A.W.: Seeing beyond divergence. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 15\u201335. Springer, Heidelberg (2005)"},{"volume-title":"Using Z: Specification, Refinement, and Proof","year":"1996","author":"J.C.P. Woodcock","key":"13_CR32","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00255-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T17:20:02Z","timestamp":1558113602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00255-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002540","9783642002557"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00255-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}