{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:03:27Z","timestamp":1725487407543},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419426"},{"type":"electronic","value":"9783540453970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45397-0_18","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:17:01Z","timestamp":1184602621000},"page":"445-460","source":"Crossref","is-referenced-by-count":2,"title":["Formal Reasoning about Actor Programs Using Temporal Logic"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Schacht","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G. Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, 1986."},{"key":"18_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0019439","volume-title":"Foundations of Object-Oriented Languages","author":"G. Agha","year":"1990","unstructured":"Agha, G. The structure and semantics of actor languages. In Foundations of Object-Oriented Languages, J. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds., no. 489 in LNCS. Springer, Berlin etc., 1990, pp. 1\u201359."},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.7551\/mitpress\/2087.001.0001","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"G. Agha","year":"1993","unstructured":"Agha, G., Fr\u00f8lund, S., Kim, W. Y., Panwar, R., Patterson, A., and Sturman, D. Abstraction and modularity mechanisms for concurrent computing. In Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa, Eds. MIT Press, Cambridge, MA, 1993, pp. 3\u201321."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"Agha, G., Mason, I. A., Smith, S. F., and Talcott, C. L. A foundation for actor computation. Journal of Functional Programming 7 (1997), 1\u201372.","journal-title":"Journal of Functional Programming"},{"key":"18_CR5","first-page":"53","volume-title":"Temporal Logics and their Applications","author":"H. Barringer","year":"1987","unstructured":"Barringer, H. The use of temporal logic in the compositional specification of concurrent systems. In Temporal Logics and their Applications, A. Galton, Ed. Academic Press, London etc., 1987, pp. 53\u201390."},{"doi-asserted-by":"crossref","unstructured":"Chandy, K. M., and Misra, J. Parallel Program Design. Addison-Wesley, 1989.","key":"18_CR6","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E. M., Emerson, E. A., and Sistla, A. P. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach. ACM Transactions on Programming Languages and Systems 8, 2 (April 1986), 244\u2013263.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Clinger, W. D. Foundations of Actor Semantics. PhD thesis, Cambridge, MA: MIT, Dept. of Mathematics, 1981.","key":"18_CR8"},{"doi-asserted-by":"crossref","unstructured":"Duarte, C. H. C. A proof-theoretic approach to the design of object-based mobility. In Proc. 2nd IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (London, 1997), H. Bowman and J. Derrick, Eds., Chapman and Hall, pp. 37\u201356.","key":"18_CR9","DOI":"10.1007\/978-0-387-35261-9_4"},{"doi-asserted-by":"crossref","unstructured":"Emerson, E., and Halpern, J. \u2019sometimes\u2019 and \u2018not never\u2019 revisited: On branching time versus linear time temporal logic. Journal of the ACM 33, 1 (1986).","key":"18_CR10","DOI":"10.1145\/4904.4999"},{"unstructured":"Felleisen, M., and Friedman, D. P. Control operators, the SECD-machine, and the \u00eb-calculus. In Formal Descriptions of Programming Concepts III, M. Wirsing, Ed. Elsevier, Amsterdam, NL, 1986, pp. 193\u2013217.","key":"18_CR11"},{"key":"18_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BFb0053037","volume-title":"Inheritance of synchronization constraints in concurrent object oriented programming languages","author":"S. Fr\u00f8lund","year":"1992","unstructured":"Fr\u00f8lund, S. Inheritance of synchronization constraints in concurrent object oriented programming languages. In ECOOP\u201992-European Conference on Object-Oriented Programming (1992), O. L. Madsen, Ed., no. 615 in LNCS, Springer, pp. 185\u2013196."},{"unstructured":"Greif, I. G. Semantics of Communicating Parallel Processes. PhD thesis, MIT, Dept. of Electrical Engineering and Computer Science, 1975.","key":"18_CR13"},{"unstructured":"Hewitt, C., and Baker, H. Actors and continuous functionals. In Proceedings of the IFIPWorking Conference on Formal Description of Programming Concepts (1978), E. Neuhold, Ed., Amsterdam etc.: North-Holland, pp. 367\u2013390.","key":"18_CR14"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C. Communicating Sequential Processes. Prentice-Hall, 1985.","key":"18_CR15","DOI":"10.1007\/978-3-642-82921-5_4"},{"doi-asserted-by":"crossref","unstructured":"Kr\u00f6ger, F. Temporal Logic of Programs. Springer, 1987.","key":"18_CR16","DOI":"10.1007\/978-3-642-71549-5"},{"issue":"3","key":"18_CR17","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L. The Temporal Logic of Actions. Transactions on Programming Languages and Systems 16, 3 (May 1994), 872\u2013923.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"18_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems. Springer, Berlin etc., 1992."},{"key":"18_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"issue":"1","key":"18_CR20","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., and Walker, D. A calculus of mobile processes, I\/II. Information and Computation 100, 1 (1992), 1\u201377.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"Nierstrasz, O. Towards an object calculus. In ECOOP\u201991-Proceedings of the European Workshop on Object-Based Concurrent Computing (Berlin etc., Geneva, Switzerland, July 15\u201316 1992), M. Tokoro, O. Nierstrasz, P. Wegner, and A. Yonezawa, Eds., Springer.","key":"18_CR21","DOI":"10.1007\/3-540-55613-3_1"},{"issue":"3","key":"18_CR22","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"Owicki, S., and Lamport, L. Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems 4, 3 (1982), 455\u2013495.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"Plotkin, G. Call-by-name, call-by-value and the lambda calculus. Theoretical Computer Science 1 (1975), 125\u2013159.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Concurrent Object-Oriented Programming and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45397-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T11:11:18Z","timestamp":1629371478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45397-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419426","9783540453970"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45397-0_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}