{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:12:19Z","timestamp":1725455539362},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635864"},{"type":"electronic","value":"9783540696056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023929","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:20:36Z","timestamp":1132384836000},"page":"279-290","source":"Crossref","is-referenced-by-count":1,"title":["Temporal reasoning about actor programs"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Schacht","sequence":"first","affiliation":[]},{"given":"Udo","family":"Hahn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7:1\u201372,1997.","journal-title":"Journal of Functional Programming"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Gul Agha. Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Gul Agha. The structure and semantics of actor languages. In J.W. de Bakker et al., editors, Foundations of Object-Oriented Languages, pp. 1\u201359. Springer, 1990.","DOI":"10.1007\/BFb0019439"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Gul Agha et al. Abstraction and modularity mechanisms for concurrent computing. In Gul Agha et al., editors, Research Directions in Concurrent Object-Oriented Programming, pp. 3\u201321. MIT Press, 1993.","DOI":"10.1109\/88.218170"},{"key":"24_CR5","unstructured":"Gul Agha and Carl Hewitt. Concurrent programming using actors. In A.Yonezawa and M.Tokoro, editors, Object-Oriented Concurrent Programming, pp. 37\u201353. MIT Press, 1987."},{"key":"24_CR6","unstructured":"Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. In A. Galton, editor, Temporal Logics and their Applications., pp. 53\u201390. Academic Press, 1987."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"K. Many Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1989.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"24_CR8","unstructured":"WD. Clinger. Foundations of Actor Semantics. PhD thesis, MIT, Dept. of Mathematics, 1981."},{"issue":"1","key":"24_CR9","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"E.A. Emerson and J. Y. Halpern. 'sometimes\u2019 and \u2018Not Never\u2019 revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151\u2013178, 1986.","journal-title":"Journal of the ACM"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Michael Fisher. A survey of Concurrent METATEM: the language and its applications. In Proc. of the First International Conference on Temporal Logic (ICTL), 1994.","DOI":"10.1007\/BFb0014005"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Svend Fr\u00f8lund. Inheritance of synchronization constraints in concurrent object-oriented programming languages. In ECOOP '92 \u2014 European Conf on Object-Oriented Programming, pp. 185\u2013196,1992","DOI":"10.1007\/BFb0053037"},{"issue":"1\/2","key":"24_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1006\/ijhc.1994.1056","volume":"41","author":"U. Hahn","year":"1994","unstructured":"U. Hahn, S. Schacht, and N. Br\u00f6ker. Concurrent, object-oriented dependency parsing: the ParseTalk model. Int'l. Journal of Human-Computer Studies, 41(1\/2):179\u2013222, 1994.","journal-title":"Int'l. Journal of Human-Computer Studies"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Fred Kr\u00f6ger. Temporal Logic of Programs. Springer, 1987.","DOI":"10.1007\/978-3-642-71549-5"},{"issue":"3","key":"24_CR14","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR15","unstructured":"Henry Lieberman. An object-oriented simulator for the Apiary. In AAAI '83 \u2014 Proc. of the National Conf. on Artificial Intelligence, pp. 241\u2013246, 1983"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Peter Neuhaus and Udo Hahn. Restricted parallelism in object-oriented lexical parsing. In COLING '96 \u2014 Proc. of the 16th Intl. Conf. on Computational Linguistics, pp. 502\u2013507,1996.","DOI":"10.3115\/992628.992715"},{"issue":"3","key":"24_CR18","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"Susan Owicki and Leslie Lamport. Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems, 4(3):455\u2013495, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR19","unstructured":"A.S. Rao and M.P. Georgeff. Modeling rational agents within a bdi-architecture. In Proc. of the 2nd Int'l. Conf. on Principles of Knowledge Representation and Reasoning, pp. 473\u2013484, 1991"},{"issue":"1","key":"24_CR20","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"M. Yasugi, S. Matsuoka, and A. Yonezawa. ABCL\/onEM-4: a new software\/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In Proc. ACM Int'l. Conf. on Supercomputing, pp. 93\u2013103, 1993.","DOI":"10.1145\/143369.143392"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T01:58:07Z","timestamp":1626746287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023929"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635864","9783540696056"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0023929","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}