@article(AcetoBIMR12,
 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(AcetoCGI2011,
 author       = "Luca Aceto and Georgiana Caltais and Eugen-Ioan Goriac and Anna Ing{\'o}lfsd{\'o}ttir",
 year         = "2011",
 title        = "Axiomatizing {GSOS} with Predicates",
 editor       = "Michel A. Reniers and Pawel Sobocinski",
 booktitle    = "Proceedings Eighth Workshop on Structural Operational Semantics 2011",
 series       = "EPTCS",
 volume       = "62",
 pages        = "1--15",
 doi          = "10.4204/EPTCS.62.1",
)
@inproceedings(AcetoCGI11a,
 author       = "Luca Aceto and Georgiana Caltais and Eugen-Ioan Goriac and Anna Ing{\'o}lfsd{\'o}ttir",
 year         = "2011",
 title        = "{PREG Axiomatizer} - A Ground Bisimilarity Checker for {GSOS} with Predicates",
 editor       = "Andrea Corradini and Bartek Klin and Corina C\^{\i }rstea",
 booktitle    = "Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "6859",
 publisher    = "Springer",
 pages        = "378--385",
 doi          = "10.1007/978-3-642-22944-2\_27",
)
@inproceedings(AcetoCIMR11,
 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(AcetoCIMR11a,
 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",
)
@inproceedings(Aceto01,
 author       = "Luca Aceto and Wan Fokkink and Chris Verhoef",
 year         = "2001",
 title        = "Structural Operational Semantics",
 editor       = "Jan A. Bergstra and Alban Ponse and Scott A. Smolka",
 booktitle    = "Handbook of Process Algebra, {Chapter} 3",
 publisher    = "Elsevier Science, Dordrecht, The Netherlands",
 pages        = "197--292",
 doi          = "10.1016/B978-044482830-9/50021-7",
)
@inproceedings(AcetoGI13,
 author       = "Luca Aceto and Eugen-Ioan Goriac and Anna Ing{\'o}lfsd{\'o}ttir",
 year         = "2013",
 title        = "SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators",
 booktitle    = "SOFSEM",
 pages        = "108--120",
 doi          = "10.1007/978-3-642-35843-2\_11",
)
@inproceedings(axiom-algebraic,
 author       = "Luca Aceto and Eugen-Ioan Goriac and Anna Ingolfsdottir and Mohammad Reza Mousavi and Michel Reniers",
 year         = "2013",
 title        = "Exploiting Algebraic Laws to Improve Mechanized Axiomatizations",
 booktitle    = "Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)",
 series       = "Lecture Notes in Computer Science",
 volume       = "8089",
 publisher    = "Springer-Verlag, Berlin, Germany, 2013",
)
@article(Mousavi09-BEATCS,
 author       = "Luca Aceto and Anna Ing\'olfsd\'ottir and Mohammad Reza Mousavi and Michel A. Reniers",
 year         = "2009",
 title        = "Algebraic Properties for Free!",
 journal      = "Bulletin of the European Association for Theoretical Computer Science",
 volume       = "99",
 pages        = "81--104",
)
@article(BaetenV04,
 author       = "Jos C. M. Baeten and Erik P. de Vink",
 year         = "2004",
 title        = "Axiomatizing GSOS with termination",
 journal      = "J. Log. Algebr. Program.",
 volume       = "60-61",
 pages        = "323--351",
 doi          = "10.1016/j.jlap.2004.03.001",
)
@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",
)
@incollection(Brinksma-1985a,
 author       = "Ed Brinksma",
 year         = "1985",
 title        = "A Tutorial on \textsc {Lotos}",
 editor       = "Michel Diaz",
 booktitle    = "Proc.\ Protocol Specification, Testing and Verification V",
 publisher    = "North-Holland",
 address      = "Amsterdam, Netherlands",
 pages        = "171--194",
)
@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(MaudeMSOS,
 author       = "Fabricio Chalub and Christiano Braga",
 year         = "2007",
 title        = "{Maude MSOS Tool}",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "176",
 pages        = "133--146",
 doi          = "10.1016/j.entcs.2007.06.012",
)
@proceedings(DBLP:conf/maude/2007,
 editor       = "Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer and Carolyn L. Talcott",
 year         = "2007",
 title        = "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic",
 series       = "Lecture Notes in Computer Science",
 volume       = "4350",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-71999-1\_1",
)
@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",
)
@inproceedings(gsos-data,
 author       = "Daniel Gebler and Eugen-Ioan Goriac and Mohammad Reza Mousavi",
 year         = "2013",
 title        = "Algebraic Meta-Theory of Processes with Data",
 booktitle    = "Proceedings Tenth Workshop on Structural Operational Semantics 2013",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer-Verlag, Berlin, Germany, 2013",
 note         = "In the current volume",
)
@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(GoriacCLAG09,
 author       = "Eugen-Ioan Goriac and Georgiana Caltais and Dorel Lucanu and Oana Andrei and Gheorghe Grigoras",
 year         = "2009",
 title        = "Patterns for Maude Metalanguage Applications",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "238",
 number       = "3",
 pages        = "121--138",
 doi          = "10.1016/j.entcs.2009.05.016",
)
@article(GrooteV92,
 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(so55686,
 author       = "Pieter H. {Hartel}",
 year         = "1999",
 title        = "{LETOS} - a lightweight execution tool for operational semantics",
 journal      = "Software: Practice and Experience",
 volume       = "29",
 number       = "15",
 pages        = "1379--1416",
 doi          = "10.1002/(SICI)1097-024X(19991225)29:15\%3C1379::AID-SPE286\%3E3.0.CO;2-V",
)
@article(DBLP:journals/jacm/HennessyM85,
 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",
)
@book(Hoare85,
 author       = "C. A. R. Hoare",
 year         = "1985",
 title        = "Communicating Sequential Processes",
 publisher    = "Prentice Hall",
)
@article(DBLP:journals/fmsd/Lin95,
 author       = "Huimin Lin",
 year         = "1995",
 title        = "{PAM}: A Process Algebra Manipulator",
 journal      = "Formal Methods in System Design",
 volume       = "7",
 number       = "3",
 pages        = "243--259",
 doi          = "10.1007/BF01384078",
)
@book(Milner89a,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 publisher    = "Prentice Hall",
)
@article(sos-maude,
 author       = "Mohammad Reza Mousavi and Michel A. Reniers",
 year         = "2006",
 title        = "Prototyping {SOS} meta-theory in {Maude}",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "156",
 pages        = "135--150",
 doi          = "10.1016/j.entcs.2005.09.030",
)
@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      = "Information Processing Letters",
 volume       = "93",
 pages        = "217--223",
 doi          = "10.1016/j.ipl.2004.11.007",
)
@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",
)
@book(SangiorgiW2001,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The {$\pi $}-Calculus: A Theory of Mobile Processes",
 publisher    = "Cambridge University Press",
 address      = "Cambridge",
 note         = "With a foreword by Robin Milner",
)
@article(SerbanutaRM09,
 author       = "Traian-Florin Serbanuta and Grigore Rosu and Jos{\'e} Meseguer",
 year         = "2009",
 title        = "A rewriting logic approach to operational semantics",
 journal      = "Information and Computation",
 volume       = "207",
 number       = "2",
 pages        = "305--340",
 doi          = "10.1016/j.ic.2008.03.026",
)
@article(Verdejo2006226,
 author       = "Alberto Verdejo and Narciso Mart{\'\i }-Oliet",
 year         = "2006",
 title        = "Executable structural operational semantics in Maude",
 journal      = "The Journal of Logic and Algebraic Programming",
 volume       = "67",
 number       = "1Ð2",
 pages        = "226 -- 293",
 doi          = "10.1016/j.jlap.2005.09.008",
)