{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:18Z","timestamp":1725489438271},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-47910-4_17","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:13:47Z","timestamp":1187266427000},"page":"326-345","source":"Crossref","is-referenced-by-count":7,"title":["A Timed Calculus for Distributed Objects with Clocks"],"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":"17_CR1","doi-asserted-by":"crossref","unstructured":"Black, A., Hutchinson, N., July, E., and Levy, H., Object Structure in the Emerald System, Proceedings of ACM OOPSLA\u201986, November, p78\u201386, 1986.","DOI":"10.1145\/28697.28706"},{"key":"17_CR2","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."},{"issue":"4","key":"17_CR3","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1145\/76359.76369","volume":"36","author":"H. Castellani","year":"1989","unstructured":"Castellani, H., and Hennessy, M., Distributed Bbsimulation, Journal of ACM, Vol.36, No.4, p887\u2013911, 1989.","journal-title":"Journal of ACM"},{"issue":"2","key":"17_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00365335","volume":"3","author":"E. Corsetti","year":"1991","unstructured":"Corsetti, E., Montanari, A., and Ratto, E., Dealing with Diflerent Granularities in Formal Specifications of Real-Time Systems, Real-Time Systems, vol.3, No.2, p191\u2013215, May, 1991.","journal-title":"Real-Time Systems"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Hansson, H., and Jonsson, B., A Calculus of Communicating Systems with Time and Probabilities, Proceedings of 11th IEEE Real-Time Systems Symposium, p278\u2013287, December, 1990.","DOI":"10.1109\/REAL.1990.128759"},{"key":"17_CR6","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":"17_CR7","unstructured":"Hobbs, J. R., Granularity, Proceedings of 9th International Joint Conference Artificial Intelligence, p432\u2013435, August, 1985."},{"key":"17_CR8","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":"17_CR9","doi-asserted-by":"crossref","unstructured":"Jefferson, D. R., Virtual Time, ACM TOPLAS, vol.7, No.3, 1985.","DOI":"10.1145\/3916.3988"},{"issue":"8","key":"17_CR10","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/TC.1987.5009516","volume":"36","author":"H. Kopetz","year":"1987","unstructured":"Kopetz, H., Clock Synchronization in Distributed Real-Time Systems, IEEE Transactions on Computers, vo1.36, No.8, p933\u2013940, August, 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-54430-5_102","volume-title":"Proceedings of CONCUR\u201991","author":"P. Krishnan","year":"1991","unstructured":"Krishnan, P., Distributed CCS, Proceedings of CONCUR\u201991, LNCS 527, p393\u2013407, August, 1991."},{"issue":"7","key":"17_CR12","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L., Time, Clocks, and the Ordering of Events in a Distributed System Communication of the ACM, Vol.21, No.7, p558\u2013565, July, 1978","journal-title":"Communication of the ACM"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(84)80033-9","volume":"62","author":"J. Lundelius","year":"1984","unstructured":"Lundelius, J., and Lynch, N., An Upper and Lower Bound for Clock Synchronization, Information and Control, Vol.62, p190\u2013204, 1984.","journal-title":"Information and Control"},{"key":"17_CR14","unstructured":"Milner, R., Communication and Concurrency, Prentice Hall, 1989."},{"key":"17_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"Proceedings of CONCUR\u2019SO","author":"F. Moller","year":"1990","unstructured":"Moller, F., and Tofts, C., A Temporal Calculus of Communicating Systems, Proceedings of CONCUR\u2019SO, LNCS 458, p401\u2013415, August, 1990."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Montanari, A., Ratto, E., Corsetti, E., and Morzeniti, A., Embedding Time Granularity in Logical Specification of Real-Time Systems, Proceedings of EUROMI-COR\u201991, Workshop on Real-Time Systems, p88\u201397, June, 1991.","DOI":"10.1109\/EMWRT.1991.144087"},{"key":"17_CR17","unstructured":"Nicollin, X., and Sifakis, J., The Algebra of Timed Process ATP: Theory and Applications, IMAG Technical Report, RT-C25, 1990."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O. M., and Papathomas, M., Viewing Objects QS Patterns of Communicating Agents, Proceedings of ECOOP\/OOPSLA\u201990, October, p38\u201343, 1990.","DOI":"10.1145\/97945.97952"},{"key":"17_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Proceedings of Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D., Concurrency and Automata on Infinite Sequences, Proceedings of Theoretical Computer Science, LNCS 104, p167\u2013187, 1981."},{"key":"17_CR20","volume-title":"A Structural Approach to Operational Semantics","author":"G. D. Plotkin","year":"1981","unstructured":"Plotkin, G. D, A Structural Approach to Operational Semantics, Technical Report, Department of Computer Science, Arhus University, Denmark, 1981."},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of ACM OOPSLA\u201992, p315\u2013326, October, 1992.","DOI":"10.1145\/141936.141963"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Takashio, K., and Tokoro, M., DROL: An Object-Oriented Programming Language for Distributed Real-time Systems, Proceedings of ACM OOPSLA\u201992, p276\u2013294, October, 1992.","DOI":"10.1145\/141936.141959"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Tokoro, M., and Satoh, I., Asynchrony and Real-Time in Distributed Systems, US\/Japan Seminar on Parallel Symbolic Computing, October, 1992.","DOI":"10.1007\/BFb0018660"},{"key":"17_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-54233-7_136","volume-title":"Proceedings of Automata, Languages and Programming\u201991","author":"W. Yi","year":"1991","unstructured":"Yi, W., CCS + Time = an Interleavang Model for Real Time Systems, Proceedings of Automata, Languages and Programming\u201991, LNCS 510, p217\u2013228, 1991."},{"key":"17_CR25","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","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:31Z","timestamp":1605647671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540571209"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_17","relation":{},"subject":[]}}