{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T02:15:52Z","timestamp":1712369752446},"reference-count":21,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.18.6","type":"journal-article","created":{"date-parts":[[2010,2,15]],"date-time":"2010-02-15T23:37:34Z","timestamp":1266277054000},"page":"77-91","source":"Crossref","is-referenced-by-count":11,"title":["Rewriting Logic Semantics of a Plan Execution Language"],"prefix":"10.4204","volume":"18","author":[{"given":"Gilles","family":"Dowek","sequence":"first","affiliation":[{"name":"\u00c9cole Polytechnique and INRIA"}]},{"given":"C\u00e9sar","family":"Mu\u00f1oz","sequence":"additional","affiliation":[{"name":"National Institute of Aerospace"}]},{"given":"Camilo","family":"Rocha","sequence":"additional","affiliation":[{"name":"University of Illinois"}]}],"member":"2720","published-online":{"date-parts":[[2010,2,15]]},"reference":[{"issue":"3","key":"musab08","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.entcs.2008.04.091","article-title":"Reduction Semantics and Formal Analysis of Orc Programs","volume":"200","author":"M. AlTurki","year":"2008","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"Esterel00","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","article-title":"The Foundations of Esterel","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"G. Berry","year":"2000"},{"key":"bruni06","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1016\/j.tcs.2006.04.012","article-title":"Semantic foundations for generalized rewrite theories","volume":"360","author":"R. Bruni","year":"2006","journal-title":"Theor. Comput. Sci."},{"key":"LustrePOPL87","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/41625.41641","article-title":"LUSTRE: a declarative language for real-time programming","volume-title":"POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"P. Caspi","year":"1987"},{"key":"maude-book","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007"},{"key":"dershowitz90","first-page":"243","article-title":"Rewrite Systems","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)","author":"N. Dershowitz","year":"1990"},{"key":"DMP07ICAPSW","first-page":"45","article-title":"A Formal Analysis Framework for PLEXIL","volume-title":"Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems","author":"G. Dowek","year":"2007"},{"key":"DMP08","volume-title":"A Small-Step Semantics OF PLEXIL","author":"G. Dowek","year":"2008"},{"key":"plexil","volume-title":"Plan Execution Interchange Language (PLEXIL)","author":"T. Estlin","year":"2006"},{"key":"lucanu09","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/j.entcs.2009.03.038","article-title":"Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions","volume":"237","author":"D. Lucanu","year":"2009","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"unified-tcs","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional Rewriting Logic as a Unified Model of Concurrency","volume":"96","author":"J. Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"meseguerrosu07","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.tcs.2006.12.018","article-title":"The rewriting logic semantics project","volume":"373","author":"J. Meseguer","year":"2007","journal-title":"Theor. Comput. Sci."},{"key":"ORS92","series-title":"Lecture Notes in Artificial Intelligence","first-page":"748","article-title":"PVS: A Prototype Verification System","volume-title":"11th International Conference on Automated Deduction (CADE)","volume":"607","author":"S. Owre","year":"1992"},{"key":"Plotkin:NatSemTR","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","article-title":"A structural approach to operational semantics","volume":"60-61","author":"G. D. Plotkin","year":"2004","journal-title":"J. Log. Alg. Prog."},{"key":"RMC09","first-page":"201","article-title":"A Graphical Environment for the Semantic Validation of a Plan Execution Language","volume":"0","author":"C. Rocha","year":"2009","journal-title":"IEEE International Conference on Space Mission Challenges for Information Technology"},{"issue":"2","key":"serbanuta09","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/j.ic.2008.03.026","article-title":"A rewriting logic approach to operational semantics","volume":"207","author":"T. Serbanuta","year":"2009","journal-title":"Inf. Comput."},{"key":"trian08","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/978-3-540-95885-7_26","article-title":"Defining and Executing P Systems with Structured Data in K","volume-title":"Workshop on Membrane Computing","volume":"5391","author":"T. Serbanuta","year":"2008"},{"issue":"2","key":"tardieu07","doi-asserted-by":"crossref","DOI":"10.1145\/1216374.1216376","article-title":"A deterministic logical semantics for pure Esterel","volume":"29","author":"O. Tardieu","year":"2007","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"verdejo06","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.jlap.2005.09.008","article-title":"Executable structural operational semantics in Maude","volume":"67","author":"A. Verdejo","year":"2006","journal-title":"J. Log. Algebr. Program."},{"key":"ue","article-title":"Universal Executive and PLEXIL: Engine and Language for Robust Spacecraft Control and Operations","volume-title":"Proceedings of the American Institute of Aeronautics and Astronautics Space Conference","author":"V. Verna","year":"2006"},{"key":"viry-tcs","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/S0304-3975(01)00366-8","article-title":"Equational rules for rewriting logic","volume":"285","author":"P. Viry","year":"2002","journal-title":"Theoretical Computer Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,3,24]],"date-time":"2024-03-24T01:25:42Z","timestamp":1711243542000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1002.2872v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,15]]},"references-count":21,"URL":"https:\/\/doi.org\/10.4204\/eptcs.18.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,15]]}}}
