@article(Mousavi12-SCICO, author = "Luca Aceto and Arnar Birgisson and Anna Ing{\'o}lfsd{\'o}ttir and Mohammad Reza Mousavi and Michel A. Reniers", year = "2012", title = "Rule formats for determinism and idempotence", journal = "Science of Computer Programming", volume = "77", number = "7--8", pages = "889--907", doi = "10.1016/j.scico.2010.04.002", ) @article(Aceto94, author = "Luca Aceto and Bard Bloom and Frits W. Vaandrager", year = "1994", title = "Turning {SOS} rules into equations", journal = "Information and Computation", volume = "111", pages = "1--52", doi = "10.1006/inco.1994.1040", ) @inproceedings(Mousavi11-LATA, author = "Luca Aceto and Matteo Cimini and Anna Ing{\'o}lfsd{\'o}ttir and Mohammad Reza Mousavi and Michel A. Reniers", year = "2011", title = "Rule Formats for Distributivity", editor = "Adrian Horia Dediu and Shunsuke Inenaga and Carlos Mart\'{\i }n-Vide", booktitle = "Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26--31, 2011. Proceedings", series = "Lecture Notes in Computer Science", volume = "6638", publisher = "Springer", pages = "80--91", doi = "10.1007/978-3-642-21254-3\_5", ) @article(Mousavi11-TCS, author = "Luca Aceto and Matteo Cimini and Anna Ing{\'o}lfsd{\'o}ttir and Mohammad Reza Mousavi and Michel A. Reniers", year = "2011", title = "{SOS} rule formats for zero and unit elements", journal = "Theoretical Computer Science", volume = "412", number = "28", pages = "3045--3071", doi = "10.1016/j.tcs.2011.01.024", ) @article(BEATCS09, author = "Luca Aceto and Anna Ingolfsdottir and MohammadReza Mousavi and Michel A. Reniers", year = "2009", title = "Algebraic Properties for Free!", journal = "Bulletin of the European Association for Theoretical Computer Science ({BEATCS})", volume = "99", pages = "81--104", ) @book(Baader99, author = "Franz Baader and Tobias Nipkow", year = "1999", title = "Term Rewriting and All That", publisher = "Cambridge University Press", ) @book(Baeten05, author = "J.C.M. (Jos) Baeten and Twan Basten and Michel A. Reniers", year = "2010", title = "Process Algebra: Equational Theories of Communicating Processes", series = "Cambridge Tracts in Theoretical Computer Science", publisher = "Cambrdige University Press", ) @article(Baeten97, author = "Jos C. M. Baeten and Jan A. Bergstra", year = "1997", title = "Process Algebra with Propositional Signals", journal = "Theoretical Computer Science ({TCS})", volume = "177", number = "2", pages = "381--405", doi = "10.1016/S0304-3975(96)00253-8", ) @book(Baier08, author = "Christel Baier and Joost-Pieter Katoen", year = "2008", title = "Principles of Model Checking", publisher = "MIT Press", ) @article(Beek06, author = "D. A. van Beek and Ka Lok Man and Michel A. Reniers and J. E. Rooda and Ramon R. H. Schiffelers", year = "2006", title = "Syntax and consistent equation semantics of hybrid Chi", journal = "J. Log. Algebr. Program.", volume = "68", number = "1-2", pages = "129--210", doi = "10.1016/j.jlap.2005.10.005", ) @inproceedings(Beek07, author = "D. A. van Beek and Michel A. Reniers and Ramon R. H. Schiffelers and J. E. Rooda", year = "2007", title = "Foundations of a Compositional Interchange Format for Hybrid Systems", editor = "Alberto Bemporad and Antonio Bicchi and Giorgio C. Buttazzo", booktitle = "Proceedings of the 10th International Workshop on Hybrid Systems: Computation and Control ({HSCC}'07)", series = "Lecture Notes in Computer Science", volume = "4416", publisher = "Springer", pages = "587--600", doi = "10.1007/978-3-540-71493-4\_45", ) @article(Bergstra07, author = "Jan A Bergstra and A. (Kees) Middelburg", year = "2007", title = "Synchronous cooperation for explicit multi-threading", journal = "Acta Informatica", volume = "44", pages = "525--569", doi = "10.1007/s00236-007-0057-9", ) @article(Bloom95, author = "Bard Bloom and Sorin Istrail and Albert R. Meyer", year = "1995", title = "Bisimulation can't be traced", journal = "J. ACM", volume = "42", pages = "232--268", doi = "10.1145/200836.200876", ) @article(Brogi98, author = "Antonio Brogi and Jean-Marie Jacquet", year = "1998", title = "On the Expressiveness of Linda-like Concurrent Languages", journal = "Electr. Notes Theor. Comput. Sci.", volume = "16", number = "2", pages = "75--96", doi = "10.1016/S1571-0661(04)00118-5", ) @article(Carriero89, author = "Nicholas Carriero and David Gelernter", year = "1989", title = "{Linda} in Context", journal = "Communications of the ACM", volume = "32", number = "4", pages = "444--459", doi = "10.1145/63334.63337", ) @article(Colvin11, author = "Robert J. Colvin and Ian J. Hayes", year = "2011", title = "Structural Operational Semantics through Context-Dependent Behaviour", journal = "Journal of Logic and Algebraic Programming", volume = "80", number = "7", pages = "392--426", doi = "10.1016/j.jlap.2011.05.001", ) @inproceedings(Mousavi08-CONCUR, author = "Sjoerd Cranen and Mohammad Reza Mousavi and Michel A. Reniers", year = "2008", title = "A Rule Format for Associativity", editor = "Franck van Breugel and Marsha Chechik", booktitle = "Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)", series = "Lecture Notes in Computer Science", volume = "5201", publisher = "Springer-Verlag", pages = "447--461", doi = "10.1007/978-3-540-85361-9\_35", ) @article(Degano01, author = "Pierpaolo Degano and Corrado Priami", year = "2001", title = "Enhanced operational semantics", journal = "ACM Computing Surveys", volume = "33", number = "2", pages = "135--176", doi = "10.1145/384192.384194", ) @incollection(Gadducci00, author = "Fabio Gadducci and Ugo Montanari", year = "2000", title = "The Tile Model", editor = "Gordon D. Plotkin and Colin Stirling and Mads Tofte", booktitle = "Proof, Language and Interaction: Essays in Honour of {Robin} {Milner}", publisher = "MIT Press, Boston, MA, USA, 2000", pages = "133--166", ) @article(Galpin12, author = "Vashti Galpin and Luca Bortolussi and Jane Hillston", year = "2013", title = "HYPE: Hybrid modelling by composition of flows", journal = "Formal Asp. Comput.", volume = "25", number = "4", pages = "503--541", doi = "10.1007/s00165-011-0189-0", ) @inproceedings(Glabbeek01, author = "R.J. van Glabbeek", year = "2001", title = "The Linear Time - Branching Time Spectrum {I}. {T}he Semantics of Concrete, Sequential Processes", editor = "A. Ponse S.A. Smolka J.A. Bergstra", booktitle = "Handbook of Process Algebra", publisher = "Elsevier", pages = "3--99", doi = "10.1007/3-540-57208-2\_6", ) @article(Groote92, author = "Jan Friso Groote and Frits W. Vaandrager", year = "1992", title = "Structured Operational Semantics and Bisimulation As a Congruence", journal = "Information and Computation", volume = "100", number = "2", pages = "202--260", doi = "10.1016/0890-5401(92)90013-6", ) @article(Hennessy85, author = "Matthew Hennessy and Robin Milner", year = "1985", title = "Algebraic laws for nondeterminism and concurrency", journal = "J. ACM", volume = "32", number = "1", pages = "137--161", doi = "10.1145/2455.2460", ) @incollection(Meseguer02, author = "Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer", year = "2002", title = "Rewriting Logic as a Logical and Semantic Framework", editor = "Dov M. Gabbay and Franz Guenthner", booktitle = "Handbook of Philosophical Logic", volume = "9", publisher = "Kluwer Academic Publishers, 2002", pages = "1--87", doi = "10.1007/978-94-017-0464-9\_1", ) @inproceedings(Meseguer04a, author = "Jos{\'e} Meseguer and Christiano Braga", year = "2004", title = "Modular Rewriting Semantics of Programming Languages", editor = "Charles Rattray and Savi Maharaj and Carron Shankland", booktitle = "Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST'04)", series = "Lecture Notes in Computer Science", volume = "3116", publisher = "Springer-Verlag, Berlin, Germany, 2004", pages = "364--378", doi = "10.1007/978-3-540-27815-3\_29", ) @article(Mosses04b, author = "Peter D. Mosses", year = "2004", title = "Exploiting Labels in Structural Operational Semantics", journal = "Fundam. Inform.", volume = "60", number = "1-4", pages = "17--31", ) @article(Mosses04a, author = "Peter D. Mosses", year = "2004", title = "Modular structural operational semantics", journal = "J. Log. Algebr. Program.", volume = "60-61", pages = "195--228", doi = "10.1016/j.jlap.2004.03.008", ) @article(DBLP:journals/entcs/MossesN09, author = "Peter D. Mosses and Mark J. New", year = "2009", title = "Implicit Propagation in Structural Operational Semantics", journal = "Electr. Notes Theor. Comput. Sci.", volume = "229", number = "4", pages = "49--66", doi = "10.1016/j.entcs.2009.07.073", ) @inproceedings(Mousavi04-LICS, author = "Mohammad Reza Mousavi and Michel Reniers and Jan Friso Groote", year = "2004", title = "Congruence for {SOS} with Data", booktitle = "Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)", publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2004", pages = "302--313", doi = "10.1109/LICS.2004.1319625", ) @inproceedings(DBLP:conf/lics/MousaviRG04, author = "Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote", year = "2004", title = "Congruence for {SOS} with Data", booktitle = "LICS", pages = "303--312", doi = "10.1109/LICS.2004.1319625", ) @article(Mousavi05-IC, author = "Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote", year = "2005", title = "Notions of Bisimulation and Congruence Formats for {SOS} with Data", journal = "Information and Computation", volume = "200", number = "1", pages = "107--147", doi = "10.1016/j.ic.2005.03.002", ) @article(Mousavi05-IPL, author = "Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote", year = "2005", title = "A syntactic commutativity format for SOS", journal = "Inf. Process. Lett.", volume = "93", number = "5", pages = "217--223", doi = "10.1016/j.ipl.2004.11.007", ) @inproceedings(Owens08, author = "Scott Owens", year = "2008", title = "A Sound Semantics for OCamllight", editor = "Sophia Drossopoulou", booktitle = "ESOP", series = "Lecture Notes in Computer Science", volume = "4960", publisher = "Springer", pages = "1--15", doi = "10.1007/978-3-540-78739-6\_1", ) @inproceedings(Park81, author = "David Michael Ritchie Park", year = "1981", title = "Concurrency and Automata on Infinite Sequences", editor = "Peter Deussen", booktitle = "Theoretical Computer Science", series = "Lecture Notes in Computer Science", volume = "104", publisher = "Springer", pages = "167--183", doi = "10.1007/BFb0017309", ) @techreport(Plotkin81, author = "Gordon D. Plotkin", year = "1981", title = "A structural approach to operational semantics", type = "Technical Report", number = "DAIMI FN-19", institution = "Computer Science Department, Aarhus University", address = "Aarhus, Denmark", ) @article(Plotkin04b, author = "Gordon D. Plotkin", year = "2004", title = "The origins of structural operational semantics", journal = "Journal of Logic and Algebraic Programming (JLAP)", volume = "60", pages = "3--15", doi = "10.1016/j.jlap.2004.03.009", ) @article(Plotkin04a, author = "Gordon D. Plotkin", year = "2004", title = "A structural approach to operational semantics", journal = "Journal of Logic and Algebraic Progamming (JLAP)", volume = "60", pages = "17--139", note = "This article first appeared as {\cite {Plotkin81}}", ) @article(Reniers02, author = "Michel A. Reniers and Jan Friso Groote and Mark B. van der Zwaag and Jos van Wamel", year = "2002", title = "Completeness of Timed $\mu {CRL}$", journal = "Fundamenta Informaticae", volume = "50", number = "3-4", pages = "361--402", ) @book(Roscoe10, author = "A. W. (Bill) Roscoe", year = "2010", title = "Understanding Concurrent Systems", publisher = "Springer", doi = "10.1007/978-1-84882-258-0", ) @article(springerlink:10.1023/A:1010000313106, author = "Christopher Strachey", year = "2000", title = "Fundamental Concepts in Programming Languages", journal = "Higher-Order and Symbolic Computation", volume = "13", pages = "11--49", doi = "10.1023/A:1010000313106", ) @inproceedings(Turi97, author = "Daniele Turi and Gordon D. Plotkin", year = "1997", title = "Towards a Mathematical Operational Semantics", booktitle = "LICS", publisher = "IEEE Computer Society", pages = "280--291", doi = "10.1109/LICS.1997.614955", )