{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:48Z","timestamp":1725467448543},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_89","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"320-337","source":"Crossref","is-referenced-by-count":2,"title":["Approximating unity"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Dingel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky, R. Jaghadeesan, and P. Malacaria. Full abstraction for PCF (extended abstract). In TACS '94, volume LNCS 789, pages 1\u201315. Springer Verlag, 1994.","DOI":"10.1007\/3-540-57887-0_87"},{"key":"21_CR2","unstructured":"G. R. Andrews and F.B. Schneider. Concepts and notations for concurrent programming. Technical Report 82-520, Cornell University, Department of Computer Science, 1982."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"S.D. Brookes. Full abstraction for a shared-variable parallel language. In Proceedings 8th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, June 1993.","DOI":"10.1109\/LICS.1993.287596"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"P. Collette and E. Knapp. Logical foundations for compositional verification and development of concurrent programs in UNITY. In AMAST '95, LNCS 936, pages 353\u2013367. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60043-4_64"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel program design: a foundation. Addison Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The failure of failures in a paradigm of asynchronous communication. In CONCUR '91, pages 111\u2013126. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_84"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"J. Dingel. Modular verification of shared-variable concurrent programs. In CONCUR '96, pages 703\u2013718. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61604-7_85"},{"issue":"2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0304-3975(87)90007-7","volume":"49","author":"K. G. Larsen","year":"1987","unstructured":"K. G. Larsen. A context dependent equivalence between processes. Theoretical Computer Science, 49(2):185\u2013216, 1987.","journal-title":"Theoretical Computer Science"},{"key":"21_CR9","unstructured":"Z. Liu. A semantic model for UNITY. Technical report, Computer Science Department, University of Warwick, 1989."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"G. McCusker. Games and full abstraction for FPC. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, June 1996.","DOI":"10.1109\/LICS.1996.561316"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), January 1989.","DOI":"10.1145\/44501.44503"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"X. Qiwen and H. Jifeng. A theory of state-based parallel programming: Part I. In J. Morris, editor, 4th BCS-FAGS Refinement Workshop, 1991.","DOI":"10.1007\/978-1-4471-3756-6_15"},{"key":"21_CR13","first-page":"1","volume-title":"Proceedings of IFIP Working Conference on Programming and Methods","author":"B.A. Sanders","year":"1990","unstructured":"B.A. Sanders. Stepwise refinement of mixed specifications of concurrent programs. In M. Broy and C.B. Jones, editors, Proceedings of IFIP Working Conference on Programming and Methods, pages 1\u201325. Elsevier Science Publishers (North Holland), May 1990."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"B.A. Sanders. Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing, 3(2), 1991.","DOI":"10.1007\/BF01898402"},{"key":"21_CR15","unstructured":"A.K. Singh. Parallel programming: Achieving portability through abstraction. In 11th International Conference on Distributed Computing Systems, May 1991."},{"key":"21_CR16","unstructured":"P. Stevens, December 1996. Private communication."},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"C. Stirling. Games and modal mu-calculus. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Verlag, 1996. LNCS 1055.","DOI":"10.1007\/3-540-61042-1_51"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"R.T. Udink and J.N. Kok. On the relation between UNITY properties and sequences of states. In Semantics: Foundations and Applications, pages 594\u2013608. Springer Verlag, 1993.","DOI":"10.1007\/3-540-56596-5_48"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"R.T. Udink and J.N. Kok. Two fully abstract models for UNITY. In CONCUR '93, pages 339\u2013352. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_24"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_89","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:04:37Z","timestamp":1555725877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}