{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T10:10:01Z","timestamp":1737627001838,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-49538-x_16","type":"book-chapter","created":{"date-parts":[[2007,11,11]],"date-time":"2007-11-11T03:37:18Z","timestamp":1194752238000},"page":"331-350","source":"Crossref","is-referenced-by-count":0,"title":["Time and Asynchrony in Interactions among Distributed Real-Time Objects"],"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","reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/BFb0084816","volume-title":"Proceedings of CONCUR\u201992","author":"G. Agha","year":"1992","unstructured":"Agha, G., Mason, I., Smith, S., and Talcott, C., Towards a Theory of Actor Computations, Proceedings of CONCUR\u201992, LNCS 630, p565\u2013578, August, 1992."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Baeten, J. C. M., and Bergstra, J. A., Process Algebra, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3-540-54430-5","volume-title":"Proceedings of Formal Techniques in Real-Time and Fault-Tolerant System","author":"J. C. M. Baeten","year":"1991","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, May, 1991."},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-15670-4_4","volume-title":"Process Algebra with Asynchronous Communication Mechanisms","author":"J. A. Bergstra","year":"1985","unstructured":"Bergstra, J. A., and Klop, J. W., Process Algebra with Asynchronous Communication Mechanisms, Seminar on Concurrency, LNCS 197, p76\u201395, 1985."},{"key":"16_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/BFb0084786","volume-title":"Proceedings of CONCUR\u201992","author":"G. Boudol","year":"1992","unstructured":"Boudol, G., Castellani, I., Hennessy, M., and Kiehn, A., A Theory of Processes with Localities, Proceedings of CONCUR\u201992, LNCS 630, p108\u2013122, August, 1992."},{"key":"16_CR6","unstructured":"Brinksma, E., A tutorial on LOTOS, Proceedings, IFIP Workshop on Protocol Specification, Testing and Verification, p73\u201384, North-Holland, 1986."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Klop, J.W., and Palamidessi, Asynchronous Communication in Process Algebra, Proceedings of LICS\u201992, p137\u2013147, June, 1992.","DOI":"10.1109\/LICS.1992.185528"},{"key":"16_CR8","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":"16_CR9","doi-asserted-by":"crossref","unstructured":"Hewitt, C., Viewing Control Structures as Pattern of Passing Messages, Journal of Artificial Intelligence, Vol. 8, No.3, 1977.","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"16_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"Proceedings of ECOOP\u201991","author":"K. Honda","year":"1991","unstructured":"Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, Proceedings of ECOOP\u201991, LNCS 512, p133\u2013147, June, 1991."},{"key":"16_CR11","unstructured":"Milner, R., Communication and Concurrency, Prentice Hall, 1989."},{"key":"16_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"},{"issue":"2","key":"16_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R., Functions as Processes, Mathematical Structures in Computer Science, Vol.2, No.2, p119\u2013141, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1007\/3-540-54430-5_104","volume-title":"Proceedings of CONCUR\u201991","author":"F. Moller","year":"1991","unstructured":"Moller, F., and Tofts, C., Relating Processes with Respect to Speed, Proceedings of CONCUR\u201991, LNCS 527, p424\u2013438, August, 1991."},{"key":"16_CR15","series-title":"Lect Notes Comput Sci","first-page":"376","volume-title":"Proceedings of Computer Aided Verification","author":"X. Nicollin","year":"1991","unstructured":"Nicollin. X., and Sifakis, J., An Overview and Synthesis on Timed Process Algebras, Proceedings of Computer Aided Verification, LNCS 575, p376\u2013398, June, 1991."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O. M., and Papathomas, M., Viewing Objects as Patterns of Communicating Agents, Proceedings of ECOOP\/OOPSLA\u201990, October, p38\u201343, 1990.","DOI":"10.1145\/97945.97952"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of OOPSLA\u201992, p315\u2013326, October, 1992.","DOI":"10.1145\/141936.141963"},{"key":"16_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/3-540-47910-4_17","volume-title":"Proceedings of ECOOP\u201993","author":"I. Satoh","year":"1993","unstructured":"Satoh, I., and Tokoro, M., A Timed Calculus for Distributed Objects with Clocks, Proceedings of ECOOP\u201993, LNCS 707, p326\u2013345, July, 1993."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Satoh, I., and Tokoro, M., Semantics for a Real-Time Object-Oriented Programming Language, Proceedings of IEEE International Conference on Computer Languages, p159\u2013170, May, 1994.","DOI":"10.1109\/ICCL.1994.288384"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Satoh, I., and Tokoro, M., A Formalism for Remotely Interacting Processes, Proceedings of Workshop on Theory and Practice of Parallel Programming, November, 1994. Also a revised version will appear in LNCS, 1995.","DOI":"10.1007\/BFb0026571"},{"key":"16_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0018660","volume-title":"Proceedings of Parallel Symbolic Computing: Languages, Systems, and Application","author":"M. Tokoro","year":"1993","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, 1993."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Yonezawa, A., and Tokoro, M., editors, Object-Oriented Concurrent Programming, MIT Press, 1987.","DOI":"10.1145\/28697.28722"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49538-X_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T06:26:56Z","timestamp":1737527216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49538-X_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540601609"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-49538-x_16","relation":{},"subject":[]}}