{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:20:21Z","timestamp":1725495621460},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052951","type":"book-chapter","created":{"date-parts":[[2006,6,6]],"date-time":"2006-06-06T23:38:58Z","timestamp":1149637138000},"page":"78-87","source":"Crossref","is-referenced-by-count":2,"title":["Towards a theory of simultaneous actions"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Gro\u00dfe","sequence":"first","affiliation":[]},{"given":"Richard","family":"Waldinger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J.F. Allen. Towards a General Theory of Action and Time, AI Journal 23, 1984","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"7_CR2","unstructured":"E.M. Clarke, E.A. Emerson. Design and Synthesis of Synchronization Skeletons from Branching-Time Temporal Logic, Logics of Programs, Springer LNCS 131, 1981"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"M.P. Georgeff. Actions, Processes, and Causality, Tech. Note 404, SRI International, 1987","DOI":"10.1016\/B978-0-934613-30-9.50008-1"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"M.P. Georgeff. Many Agents are better than one, Tech. Note 417, SRI International, 1987","DOI":"10.1016\/B978-0-934613-32-3.50010-1"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes, CACM, 1978","DOI":"10.1145\/359576.359585"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, Springer LNCS 92, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Z. Manna, R. Waldinger. A Deductive Approach to Program Synthesis, ACM Transactions on Programming Languages and Systems, 1980","DOI":"10.1145\/357084.357090"},{"key":"7_CR8","unstructured":"Z. Manna, R. Waldinger. How to Clear a Block, J. o. Automated Reasoning, 1987"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna, P. Wolper. Synthesis of Communicating Processes from Temporal-Logic Specifications, ACM Transactions on Programming Languages and Systems, 1984","DOI":"10.1145\/357233.357237"},{"key":"7_CR10","volume-title":"Ph.D. thesis","author":"R.N. Pelavin","year":"1988","unstructured":"R.N. Pelavin. A Formal Approach to Planning with Concurrent Actions and External Events, Ph.D. thesis, University of Rochester, New York, 1988"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"E. Pednault. Formulating Multiagent, Dynamic-World Problems in the Classical Planning Framework, Proceedings of the Workshop \u2018Reasoning about Actions and Plans\u2019, Georgeff and Lansky (eds.), 1986","DOI":"10.1016\/B978-0-934613-30-9.50006-8"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Modeling Concurrency with Partial Orders, Int. J. Parallel Programming, 1986","DOI":"10.1007\/BF01379149"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction, Springer, 1985","DOI":"10.1007\/978-3-642-69968-9"}],"container-title":["Lecture Notes in Computer Science","European Workshop on Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052951.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:00:06Z","timestamp":1607533206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540543640"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0052951","relation":{},"subject":[]}}