@inproceedings(DBLP:conf/concur/Aceto94,
 author       = "Luca Aceto",
 year         = "1994",
 title        = "Deriving Complete Inference Systems for a Class of {GSOS} Languages Generation Regular Behaviours",
 editor       = "Jonsson and Parrow",
 pages        = "449--464",
 doi          = "10.1007/BFb0015025",
)
@article(Aceto:1994:TSR:184662.184663,
 author       = "Luca Aceto and Bard Bloom and Frits Vaandrager",
 year         = "1994",
 title        = "Turning {SOS} rules into equations",
 journal      = "Inf. Comput.",
 volume       = "111",
 pages        = "1--52",
 doi          = "10.1006/inco.1994.1040",
 url          = "http://portal.acm.org/citation.cfm?id=184662.184663",
)
@inproceedings(pregax-calco-tools2011,
 author       = "Luca Aceto and Georgiana Caltais and Eugen-Ioan Goriac and Anna Ingolfsdottir",
 year         = "2011",
 title        = "{PREG Axiomatizer} : A ground bisimilarity checker for {GSOS} with predicates",
 booktitle    = "CALCO 2011",
 series       = "LNCS",
 publisher    = "Springer",
 url          = "http://goriac.info/tools/preg-axiomatizer/",
 note         = "To appear",
)
@book(BaetenBR2010,
 author       = "J. C. M. Baeten and T. Basten and M. A. Reniers",
 year         = "2010",
 title        = "Process Algebra: Equational Theories of Communicating Processes",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "50",
 publisher    = "Cambridge University Press",
 address      = "Cambridge",
)
@book(Baeten:1991:PA:103272,
 author       = "J. C. M. Baeten and W. P. Weijland",
 year         = "1990",
 title        = "Process Algebra",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
)
@article(DBLP:journals/jlp/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",
)
@inproceedings(Bergstra:1986:VAB:16663.16664,
 author       = "J A Bergstra and J W Klop",
 year         = "1986",
 title        = "Verification of an alternating bit protocol by means of process algebra",
 booktitle    = "Proceedings of the International Spring School on Mathematical method of specification and synthesis of software systems '85",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "New York, NY, USA",
 pages        = "9--23",
 url          = "http://portal.acm.org/citation.cfm?id=16663.16664",
)
@article(Bloom:1995:BCT:200836.200876,
 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",
)
@inproceedings(DBLP:conf/lics/BonsangueRS09,
 author       = "Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva",
 year         = "2009",
 title        = "An Algebra for Kripke Polynomial Coalgebras",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "49--58",
 doi          = "10.1109/LICS.2009.18",
)
@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",
)
@inproceedings(assoc,
 author       = "Sjoerd Cranen and MohammadReza 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, Berlin, Germany",
 address      = "Toronto,Canada",
 pages        = "447--461",
 doi          = "10.1007/978-3-540-85361-9_35",
)
@article(GazdaFokkink2010,
 author       = "M. Gazda and W.J. Fokkink",
 year         = "2010",
 title        = "Turning {GSOS} into equations for linear time-branching time semantics",
 journal      = "2nd Young Researchers Workshop on Concurrency Theory - YR-CONCUR'10, Paris",
 url          = "http://www.cs.vu.nl/~wanf/pubs/gsos.pdf",
)
@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",
)
@book(Ho85,
 author       = "C.A.R. Hoare",
 year         = "1985",
 title        = "Communicating {S}equential {P}rocesses",
 publisher    = "Prentice-Hall International",
 address      = "Englewood Cliffs",
)
@proceedings(DBLP:conf/concur/1994,
 editor       = "Bengt Jonsson and Joachim Parrow",
 year         = "1994",
 title        = "CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "836",
 publisher    = "Springer",
)
@book(Mi89,
 author       = "R. Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 publisher    = "Prentice-Hall International",
 address      = "Englewood Cliffs",
)
@inproceedings(Pa81,
 author       = "D. Park",
 year         = "1981",
 title        = "Concurrency and automata on infinite sequences",
 editor       = "P. Deussen",
 booktitle    = "5th GI Conference, {\rm Karlsruhe, Germany}",
 series       = "Lecture Notes in Computer Science",
 volume       = "104",
 publisher    = "Springer-Verlag",
 pages        = "167--183",
 doi          = "10.1007/BFb0017309",
)
@article(DBLP:journals/tcs/Ulidowski00,
 author       = "Irek Ulidowski",
 year         = "2000",
 title        = "Finite axiom systems for testing preorder and De Simone process languages",
 journal      = "Theor. Comput. Sci.",
 volume       = "239",
 number       = "1",
 pages        = "97--139",
 doi          = "10.1016/S0304-3975(99)00214-5",
)
@article(Verhoef95,
 author       = "Chris Verhoef",
 year         = "1995",
 title        = "A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises",
 journal      = "Nordic Journal on Computing",
 volume       = "2",
 number       = "2",
 pages        = "274--302",
)