{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:25Z","timestamp":1725473605877},"reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084784","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T08:12:14Z","timestamp":1164355934000},"page":"77-93","source":"Crossref","is-referenced-by-count":10,"title":["Interface refinement in reactive systems"],"prefix":"10.1007","author":[{"given":"Rob","family":"Gerth","sequence":"first","affiliation":[]},{"given":"Ruurd","family":"Kuiper","sequence":"additional","affiliation":[]},{"given":"John","family":"Segers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2):253\u2013285, May 1991.","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In S. Abramsky and T. Maibaum, editors, Proceedings of the Colloquium on Combining Paradigms for Software Development, volume 494 of Lecture Notes in Computer Science, pages 297\u2013312. Springer-Verlag, 1991.","DOI":"10.1007\/3540539816_73"},{"key":"7_CR3","first-page":"151","volume":"33","author":"K. P. Eswaran","year":"1976","unstructured":"K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The notions of consistency and predicate locks in a relational database system. Communications of the ACM, 33:151\u2013178, 1976.","journal-title":"Communications of the ACM"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"R. Gerth. Foundations of compositional program refinement: safety properties. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Proceedings of the NFI\/REX Workshop on Stepwise Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, pages 777\u2013809. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_87"},{"key":"7_CR5","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. International series on computer science. Prentice-Hall, 1986."},{"key":"7_CR6","unstructured":"C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"B. Jonsson. Simulations between specifications of distributed systems. In J. C. M. Baeten and J. F. Groote, editors, Proceedings of the 2nd International Conference on Concurrency Theory (CONCUR'91), volume 527 of Lecture Notes in Computer Science, pages 346\u2013361. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_99"},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. On interprocess communication, Part I: Basic formalism. Distributed Computing, 1(2):77\u201385, 1986.","journal-title":"Distributed Computing"},{"key":"7_CR9","volume-title":"Technical Report 79","author":"L. Lamport","year":"1991","unstructured":"L. Lamport. The temporal logic of actions. Technical Report 79, DEC Systems Research Center, Palo Alto, California, December 1991."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings of the Fourteenth ACM Symposium on the Principles of Programming Languages, pages 137\u2013151, Munich, Germany, 1987.","DOI":"10.1145\/41840.41852"},{"key":"7_CR11","unstructured":"N. A. Lynch. Multivalued possibilities mappings. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science, pages 519\u2013544. Springer-Verlag, 1989."},{"key":"7_CR12","unstructured":"R. Milner. Communication and concurrency. International series on computer science. Prentice-Hall, 1989."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The anchored version of the temporal framework. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science, pages 201\u2013284. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013024"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Specification and verification of concurrent programs by \u2200-automata. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proc. Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, pages 124\u2013165. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51803-7_24"},{"key":"7_CR15","unstructured":"D. Peled, S. Katz, and A. Pnueli. Specifying and proving serializability in temporal logic. IEEE, July 1991."},{"key":"7_CR16","unstructured":"J. Segers, R. Gerth, and R. Kuiper. Implementing synchronous by asynchronous communication. an example of interface refinement. Technical report, Department of Computing Science, Eindhoven University of Technology, 1992. Deliverable of ESPRIT\/BRA project 3096 (SPEC)."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084784.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:07:20Z","timestamp":1607533640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0084784","relation":{},"subject":[]}}