{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:36:20Z","timestamp":1761597380818,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,14]],"date-time":"2007-07-14T00:00:00Z","timestamp":1184371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,14]]},"DOI":"10.1145\/1273920.1273938","type":"proceedings-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T14:45:29Z","timestamp":1349880329000},"page":"131-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Real-time rewriting semantics of orc"],"prefix":"10.1145","author":[{"given":"Musab","family":"AlTurki","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}]}],"member":"320","published-online":{"date-parts":[[2007,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"USA","author":"AlTurki M.","year":"2005","unstructured":"M. AlTurki . A rewriting logic approach to the semantics of Orc. Master's thesis, University of Illinois at Urbana-Champaign , USA , December 2005 . M. AlTurki. A rewriting logic approach to the semantics of Orc. Master's thesis, University of Illinois at Urbana-Champaign, USA, December 2005."},{"key":"e_1_3_2_1_2_1","volume-title":"USA","author":"AlTurki M.","year":"2007","unstructured":"M. AlTurki and J. Meseguer . Rewriting logic semantics of Orc. Technical report, Department of Computer Science, UIUC, Urbana-Champaign , USA , 2007 . M. AlTurki and J. Meseguer. Rewriting logic semantics of Orc. Technical report, Department of Computer Science, UIUC, Urbana-Champaign, USA, 2007."},{"key":"e_1_3_2_1_3_1","volume-title":"Process algebra with timing: Real time and discrete time","author":"Baeten J.","year":"2000","unstructured":"J. Baeten and C. Middelburg . Process algebra with timing: Real time and discrete time , 2000 . J. Baeten and C. Middelburg. Process algebra with timing: Real time and discrete time, 2000."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898401"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.04.012"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645680.664098"},{"key":"e_1_3_2_1_7_1","volume-title":"All About Maude: A High-Performance Logical Framework. To be published by Springer","author":"Clavel M.","year":"2007","unstructured":"M. Clavel , F. Dur\u00e1n , S. Eker , P. Lincoln , N. Mart\u00ed-Oliet , J. Meseguer , and C. Talcott . All About Maude: A High-Performance Logical Framework. To be published by Springer , 2007 . M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and C. Talcott. All About Maude: A High-Performance Logical Framework. To be published by Springer, 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"Maude manual (version 2.3)","author":"Clavel M.","year":"2007","unstructured":"M. Clavel , F. Dur\u00e1n , S. Eker , P. Lincoln , N. Mart\u00ed-Oliet , J. Meseguer , and C. Talcott . Maude manual (version 2.3) . January 2007 . http:\/\/maude.cs.uiuc.edu\/maude2-manual\/maude-manual.pdf. M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and C. Talcott. Maude manual (version 2.3). January 2007. http:\/\/maude.cs.uiuc.edu\/maude2-manual\/maude-manual.pdf."},{"key":"e_1_3_2_1_9_1","volume-title":"A structured orchestration language","author":"Cook W. R.","year":"2005","unstructured":"W. R. Cook and J. Misra . A structured orchestration language . July 2005 . http:\/\/www.cs.utexas.edu\/users\/wcook\/Drafts\/OrcCookMisra05.pdf. W. R. Cook and J. Misra. A structured orchestration language. July 2005. http:\/\/www.cs.utexas.edu\/users\/wcook\/Drafts\/OrcCookMisra05.pdf."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of STRATEGIES '06","author":"Eker S.","year":"2006","unstructured":"S. Eker , N. Mart\u00ed-Oliet , J. Meseguer , and A. Verdejo . Deduction, strategies, and rewriting . In Proceedings of STRATEGIES '06 , August 2006 . S. Eker, N. Mart\u00ed-Oliet, J. Meseguer, and A. Verdejo. Deduction, strategies, and rewriting. In Proceedings of STRATEGIES '06, August 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1041"},{"key":"e_1_3_2_1_12_1","volume-title":"A tree semantics of an orchestration language","author":"Hoare T.","year":"2004","unstructured":"T. Hoare , G. Menzel , and J. Misra . A tree semantics of an orchestration language . August 2004 . Also available at http:\/\/www.cs.utexas.edu\/users\/psp\/Semantics.Orc.pdf. T. Hoare, G. Menzel, and J. Misra. A tree semantics of an orchestration language. August 2004. Also available at http:\/\/www.cs.utexas.edu\/users\/psp\/Semantics.Orc.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_32"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"e_1_3_2_1_15_1","first-page":"18","volume-title":"Proc. WADT '97","author":"Meseguer J.","year":"1998","unstructured":"J. Meseguer . Membership algebra as a logical framework for equational specification . In F. Parisi-Presicce, editor, Proc. WADT '97 , pages 18 -- 61 . Springer LNCS 1376, 1998 . J. Meseguer. Membership algebra as a logical framework for equational specification. In F. Parisi-Presicce, editor, Proc. WADT '97, pages 18--61. Springer LNCS 1376, 1998."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27815-3_29"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25984-8_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.018"},{"volume-title":"Proc. of the","author":"Misra J.","key":"e_1_3_2_1_19_1","unstructured":"J. Misra . Computation orchestration: A basis for wide-area computing . In M. Broy, editor, Proc. of the NATO Advanced Study Institute , Engineering Theories of Software Intensive Systems, NATO ASI Series, Marktoberdorf, Germany, 2004. J. Misra. Computation orchestration: A basis for wide-area computing. In M. Broy, editor, Proc. of the NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems, NATO ASI Series, Marktoberdorf, Germany, 2004."},{"key":"e_1_3_2_1_20_1","article-title":"Computation orchestration: A basis for wide-area computing","author":"Misra J.","year":"2006","unstructured":"J. Misra and W. R. Cook . Computation orchestration: A basis for wide-area computing . Journal of Software and Systems Modeling , May 2006 . J. Misra and W. R. Cook. Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling, May 2006.","journal-title":"Journal of Software and Systems Modeling"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.008"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1083"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00363-2"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.015"},{"key":"e_1_3_2_1_25_1","first-page":"640","volume-title":"Proceedings of the Real-Time: Theory in Practice, REX Workshop","author":"Schneider S.","year":"1992","unstructured":"S. Schneider , J. Davies , D. M. Jackson , G. M. Reed , J. N. Reed , and A. W. Roscoe . Timed CSP: Theory and practice . In Proceedings of the Real-Time: Theory in Practice, REX Workshop , pages 640 -- 675 , London, UK , 1992 . Springer-Verlag. S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. N. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In Proceedings of the Real-Time: Theory in Practice, REX Workshop, pages 640--675, London, UK, 1992. Springer-Verlag."},{"key":"e_1_3_2_1_26_1","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"71","volume-title":"WRLA","author":"Stehr M.-O.","year":"2000","unstructured":"M.-O. Stehr . CINNI - A generic calculus of explicit substitutions and its application. Proceedings Third International Workshop on Rewriting Logic and its Applications , WRLA 2000 , Kanazawa, Japan, September 18--20, 2000, volume 36 of Electronic Notes in Theoretical Computer Science , pages 71 -- 92 . Elsevier , 2000. http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html. M.-O. Stehr. CINNI - A generic calculus of explicit substitutions and its application. Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18--20, 2000, volume 36 of Electronic Notes in Theoretical Computer Science, pages 71--92. Elsevier, 2000. http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html."}],"event":{"name":"PPDP07: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Wroclaw Poland","acronym":"PPDP07"},"container-title":["Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273938","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273920.1273938","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:09Z","timestamp":1750258689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273938"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,14]]},"references-count":26,"alternative-id":["10.1145\/1273920.1273938","10.1145\/1273920"],"URL":"https:\/\/doi.org\/10.1145\/1273920.1273938","relation":{},"subject":[],"published":{"date-parts":[[2007,7,14]]},"assertion":[{"value":"2007-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}