{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:49:41Z","timestamp":1743014981667,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591726"},{"type":"electronic","value":"9783540492184"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/bfb0026571","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:15:04Z","timestamp":1132380904000},"page":"216-228","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A formalism for remotely interacting processes"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Satoh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Tokoro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Baeten, J. C. M., and Bergstra, J. A., Process Algebra, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Baeten, J. C. M., and Bergstra, J. A., Asynchronous Communication in Real Space Process Algebra, Proceedings of Formal Techniques in Real-Time and Fault-Tolerant System, LNCS 591, p473\u2013491, Springer-Verlag, May, 1991.","DOI":"10.1007\/3-540-55092-5_26"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bergstra, J. A., and Klop, J. W., Process Algebra with Asynchronous Communication Mechanisms, Seminar on Concurrency, LNCS 197, p76\u201395, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15670-4_4"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Boudol, G., Castellani, I., Hennessy, M., and Kiehn, A., A Theory of Processes with Localities, Proceedings of CONCUR'92, LNCS 630, p108\u2013122, August, 1992.","DOI":"10.1007\/BFb0084786"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"de Bore, F.S., Klop, J.W., and Palamidessi, Asynchronous Communication in Process Algebra, Proceedings of LICS'92, p137\u2013147, June, 1992.","DOI":"10.1109\/LICS.1992.185528"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"Degano, P., deNicola, R. D., and Montanari, U., A Distributed Operational Semantics for CCS Based on Condition \/ Event Systems, Acta Informatica, Vol.26, p59\u201391, 1988.","journal-title":"Acta Informatica"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Hennessy, M., On Timed Process Algebra: a Tutorial, Technical Report 2\/93, University of Sussex, 1993","DOI":"10.1007\/978-3-662-02880-3_11"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, Proceedings of ECOOP'91, LNCS 512, p133\u2013147, June, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"10_CR9","unstructured":"Jifeng, M. B, and Hoare, C. A. R., A Theory of Synchrony and Asynchrony, Proceedings of IFIP WG2.2\/2.3 Programming Concepts and Methods, p459\u2013478, 1990"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Krishnan, P., Distributed CCS, Proceedings of CONCUR'91, LNCS 527, p393\u2013407, Springer-Verlag, August, 1991.","DOI":"10.1007\/3-540-54430-5_102"},{"key":"10_CR11","unstructured":"Milner, R., Communication and Concurrency, Prentice Hall, 1989."},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow. J., Walker, D., A Calculus of Mobile Processes, Information and Computation, Vol.100, p1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Moller, F., and Tofts, C., Relating Processes with Respect to Speed, Proceedings of CONCUR'91, LNCS 527, Springer-Verlag, August, 1991.","DOI":"10.1007\/3-540-54430-5_104"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Nicollin. X., and Sifakis, J., An Overview and Synthesis on Timed Process Algebras, Proceedings of Computer Aided Verification, LNCS 575, p376\u2013398, Springer-Verlag, June, 1991.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Park, D., Concurrency and Automata on Infinite Sequences, Proceedings of Theoretical Computer Science, LNCS 104, p167\u2013187, Springer-Verlag, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of 7th ACM Object Oriented Programming Systems and Languages, and Applications, p315\u2013326, October, 1992.","DOI":"10.1145\/141937.141963"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Satoh, I., and Tokoro, M., A Timed Calculus for Distributed Objects with Clocks, Proceedings of 8th European Conference on Object Oriented Programming, LNCS 707, p326\u2013345, Springer-Verlag, July, 1993.","DOI":"10.1007\/3-540-47910-4_17"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Satoh, I., and Tokoro, M., Semantics for a Real-Time Object-Oriented Programming Language, Proceedings of IEEE Conference on Computer Languages'94, P159\u2013170, May, 1994.","DOI":"10.1109\/ICCL.1994.288384"},{"key":"10_CR19","unstructured":"Satoh, I., and Tokoro, M., Time and Asynchrony in Interactions among Distributed Real-Time Objects, Keio CS Technical Report, 1994."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Schneider, S., Davies, J., Jackson, D.M., Reed, G.M., Reed, J.N., and Roscoe, A.W., Timed CSP: Theory and Practice, Proceedings of REX Workshop on Real-Time: Theory and Practice, LNCS 600, p640\u2013675, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0032011"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Tokoro, M., and Satoh, I., Asynchrony and Real-Time in Distributed Systems, Proceedings of Parallel Symbolic Computing: Languages, Systems, and Application, LNCS 748. p318\u2013330, Springer-Verlag, 1993.","DOI":"10.1007\/BFb0018660"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Yi, W., CCS+Time=an Interleaving Model for Real Time Systems, In proceedings of Automata, Languages and Programming'91, LNCS 510, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54233-7_136"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:53:18Z","timestamp":1736103198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026571"}},"subtitle":["Working paper"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0026571","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"15 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}