{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299951},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565963"},{"type":"electronic","value":"9783540475958"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56596-5_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:18:04Z","timestamp":1330255084000},"page":"563-593","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Some issues in the semantics of facile distributed programming"],"prefix":"10.1007","author":[{"given":"Bent","family":"Thomsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lone","family":"Leth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Giacalone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"22_CR1","volume-title":"draft","author":"L. Aceto","year":"1991","unstructured":"Aceto, L., A Static View of Localities, draft, INRIA-Sophia Antipolis, France, 1991."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel and David B. MacQueen Standard ML of New Jersey, in Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming (PLILP), Lecture Notes in Computer Science 528, pp. 1\u201313, Springer Verlag, 1991.","DOI":"10.1007\/3-540-54444-5_83"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Giovini, A., Reggio, G., Observational Structures and their Logics, Theoretical Computer Science 94, North Holland, 1992.","DOI":"10.1016\/0304-3975(92)90186-J"},{"key":"22_CR4","volume-title":"Technical Report CS-R9053","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Bergstra, J.A., Real Time Process Algebra, Technical Report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1990."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Berry, D., Milner, R., and Turner, D.N., A semantics for ML concurrency primitives, in Proceedings of 1992 POPL Conference.","DOI":"10.1145\/143165.143191"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Berry, G., Cosserat, L., The ESTEREL synchronous programming language and its mathematical semantics, in Proceedings of CMU Seminar on Concurrency, LNCS 197, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Bolognesi, T., Lucidi, F., LOTOS-like process algebra with urgent or timed interactions, in Proceedings of REX Workshop \u201cReal-Time: Theory in Practice\u201d, The Netherlands, 1991.","DOI":"10.1016\/B978-0-444-89402-1.50027-8"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A., Observing Localities, Report No. 4\/91, University of Sussex, 1991.","DOI":"10.1007\/3-540-54345-7_52"},{"key":"22_CR9","unstructured":"Davies, J., Schneider, S., An Introduction to Timed CSP, Technical Report PRG-75, Oxford University Computing Laboratory, 1989."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Degano, P., Priami, C, Observing Concurrency via Proved Trees, in Proceedings of ICALP 92, LNCS 623, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_110"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"DeNicola, R., Hennessy, M., CCS without \u03c4s, in Proceedings of 1987 TAPSOFT Conference, LNCS 250, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17660-8_53"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Giacalone, A., Mishra, P., Prasad, S., Facile: A Symmetric Integration of Concurrent and Functional Programming, International Journal of Parallel Programming, Vol. 18, No. 2, 1990.","DOI":"10.1007\/BF01491213"},{"key":"22_CR13","unstructured":"Giacalone, A., Mishra, P., Prasad, S., Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming, in Proceedings of ICALP 90, LNCS 443, pp. 765\u2013780, Springer-Verlag, 1990."},{"key":"22_CR14","unstructured":"Harper, R., MacQueen, D., Milner, R., Standard ML, Report ECS-LFCS 86-2, Laboratory for Foundations of Computer Science, Edinburgh University, 1987."},{"key":"22_CR15","unstructured":"Hennessy, M., Regan, T., A Temporal Process Algebra, Technical Report 2\/90, University of Sussex, 1990."},{"key":"22_CR16","unstructured":"Hennessy, M., Regan, T., A Process Algebra for Timed Systems, Technical Report 5\/91, University of Sussex, 1991."},{"key":"22_CR17","volume-title":"Technical Report CS-R9106","author":"A.S. Klusener","year":"1991","unstructured":"Klusener, A.S., Completeness in Real Time Process Algebra, Technical Report CS-R9106, Centre for Mathematics and Computer Science, Amsterdam, 1991."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Knabe, F., A Distributed Protocol for Channel-Based Communication with Choice, in Proceedings of PARLE '92 (Parallel Architectures and Languages Europe), Poster in LNCS 605, Springer-Verlag, 1992. Full version in tech. Report ECRC-92-16, European Computer-Industry Research Centre, 1992.","DOI":"10.1007\/3-540-55599-4_135"},{"key":"22_CR19","unstructured":"Kramer, A., Cosquer, F., Distributing Facile, MAGIC Note 2, 1991."},{"key":"22_CR20","unstructured":"Leth, L., Functional Programs as Reconfigurable Networks of Communicating Processes, Ph.D. Thesis, Imperial College, 1991."},{"key":"22_CR21","unstructured":"Leth, L., Thomsen, B., Some Facile Chemistry, Tech. Report ECRC-92-14, European Computer-Industry Research Centre, 1992."},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Milner, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol. 92, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"22_CR23","unstructured":"Milner, R., Communication and Concurrency, Prentice Hall, 1989."},{"key":"22_CR24","unstructured":"Milner, R., Parrow, J. and Walker, D., A calculus of mobile processes, Tech. Reports ECSLFCS-89-85 and-86, Laboratory for Foundations of Computer Science, Edinburgh University, 1989."},{"key":"22_CR25","unstructured":"Milner, R., Tofte, M., Harper, R., Definition of Standard ML, MIT Press, 1990."},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Moller, F., Tofts, C, A Temporal Calculus of Communicating Processes, in Proceedings of CONCUR'90, LNCS 458, Springer Verlag, pp. 401\u2013415, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"22_CR27","unstructured":"Nicollin, X., Richier, J.-L., Sifakis, J., Voiron, J., ATP: an Algebra for Timed Processes, in Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, Israel, 1990."},{"key":"22_CR28","volume-title":"Technical Report RT-C26","author":"X. Nicollin","year":"1990","unstructured":"Nicollin, X., Sifakis, J., The algebra of timed processes ATP: theory and application, Technical Report RT-C26, LGI-IMAG, France, 1990."},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Nicollin, X., Sifakis, J., An Overview and Synthesis on Timed Process Algebras, in Proceedings of CAV'91, LNCS 575, pp. 376\u2013398, 1991.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"Nicollin, X., Sifakis, J., Yovine, S., From ATP to Timed Graphs and Hybrid Systems, in Proceedings of REX Workshop \u201cReal-Time: Theory in Practice\u201d, The Netherlands, 1991.","DOI":"10.1007\/BFb0032007"},{"key":"22_CR31","unstructured":"Prasad S., Towards A Symmetric Integration of Concurrent and Functional Programming, Ph. D. Thesis, State University of New York at Stony Brook, 1991."},{"key":"22_CR32","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W., A timed model for Communicating Sequential Processes, Theoretical Computer Science vol 58, pp. 249\u2013261, 1988.","journal-title":"Theoretical Computer Science"},{"key":"22_CR33","unstructured":"Schneider, S., An Operational Semantics for Timed CSP, Programming Research Group, Oxford University, 1991"},{"key":"22_CR34","doi-asserted-by":"crossref","unstructured":"Thomsen, B., A calculus of higher-order communicating systems, in Proceedings of 1989 POPL Conference.","DOI":"10.1145\/75277.75290"},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"Wang, Y., Real-time behaviour of asynchronous agents, in Proceedings of CONCUR'90, LNCS 458, Springer Verlag, pp. 502\u2013520, 1990.","DOI":"10.1007\/BFb0039080"},{"key":"22_CR36","unstructured":"Wang, Y., CCS + Time = an Interleaving Model for Real Time Systems, in Proceedings of ICALP 91, 1991."}],"container-title":["Lecture Notes in Computer Science","Semantics: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56596-5_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:23:37Z","timestamp":1687285417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56596-5_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565963","9783540475958"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-56596-5_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}