@inproceedings{Mosses80,
  title = {A constructive approach to compiler correctness},
  author = {Peter D. Mosses},
  year = {1980},
  tags = {compiler, systematic-approach},
  researchr = {https://researchr.org/publication/Mosses80},
  cites = {0},
  citedby = {0},
  pages = {189-210},
  booktitle = {CC},
}

@article{DohM03,
  title = {Composing programming languages by combining action-semantics modules},
  author = {Kyung-Goo Doh and Peter D. Mosses},
  year = {2003},
  doi = {10.1016/S0167-6423(02)00107-7},
  url = {http://dx.doi.org/10.1016/S0167-6423(02)00107-7},
  tags = {programming languages, semantics,  action semantics, programming},
  researchr = {https://researchr.org/publication/DohM03},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {47},
  number = {1},
  pages = {3-36},
}

@inproceedings{Mosses01:0,
  title = {The Varieties of Programming Language Semantics},
  author = {Peter D. Mosses},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2244/22440165.htm},
  tags = {programming languages, semantics, programming},
  researchr = {https://researchr.org/publication/Mosses01%3A0},
  cites = {0},
  citedby = {0},
  pages = {165-190},
  booktitle = {ershov},
}

@inproceedings{ChurchillMM13,
  title = {Modular Semantics for Transition System Specifications with Negative Premises},
  author = {Martin Churchill and Peter D. Mosses and Mohammad Reza Mousavi},
  year = {2013},
  doi = {10.1007/978-3-642-40184-8_5},
  url = {http://dx.doi.org/10.1007/978-3-642-40184-8_5},
  researchr = {https://researchr.org/publication/ChurchillMM13},
  cites = {0},
  citedby = {0},
  pages = {46-60},
  booktitle = {concur},
}

@article{GlabbeekM07,
  title = {Preface},
  author = {Rob J. van Glabbeek and Peter D. Mosses},
  year = {2007},
  doi = {10.1016/j.entcs.2006.11.016},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.11.016},
  researchr = {https://researchr.org/publication/GlabbeekM07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {175},
  number = {1},
  pages = {1-2},
}

@inproceedings{Mosses04:0,
  title = {Modular Language Descriptions},
  author = {Peter D. Mosses},
  year = {2004},
  doi = {10.1007/978-3-540-30175-2_27},
  url = {https://doi.org/10.1007/978-3-540-30175-2_27},
  researchr = {https://researchr.org/publication/Mosses04%3A0},
  cites = {0},
  citedby = {0},
  pages = {489},
  booktitle = {GPCE},
}

@inproceedings{MossesV14,
  title = {FunKons: Component-Based Semantics in K},
  author = {Peter D. Mosses and Ferdinand Vesely},
  year = {2014},
  doi = {10.1007/978-3-319-12904-4_12},
  url = {http://dx.doi.org/10.1007/978-3-319-12904-4_12},
  researchr = {https://researchr.org/publication/MossesV14},
  cites = {0},
  citedby = {0},
  pages = {213-229},
  booktitle = {WRLA},
}

@inproceedings{Mosses00,
  title = {The Varieties of Programming Language Semantics},
  author = {Peter D. Mosses},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1872/18720624.htm},
  tags = {programming languages, semantics, programming},
  researchr = {https://researchr.org/publication/Mosses00},
  cites = {0},
  citedby = {0},
  pages = {624-628},
  booktitle = {ifipTCS},
}

@incollection{Mosses01,
  title = {CoFI: The Common Framework Initiative for Algebraic Specification and Development},
  author = {Peter D. Mosses},
  year = {2001},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Mosses01},
  cites = {0},
  citedby = {0},
  pages = {153-163},
  booktitle = {Current Trends in Theoretical Computer Science},
}

@inproceedings{BPM13,
  title = {Generating Specialized Interpreters for Modular Structural Operational Semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2013},
  researchr = {https://researchr.org/publication/BPM13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation},
}

@inproceedings{PoulsenMT15,
  title = {Imperative Polymorphism by Store-Based Types as Abstract Interpretations},
  author = {Casper Bach Poulsen and Peter D. Mosses and Paolo Torrini},
  year = {2015},
  doi = {10.1145/2678015.2682545},
  url = {http://doi.acm.org/10.1145/2678015.2682545},
  researchr = {https://researchr.org/publication/PoulsenMT15},
  cites = {0},
  citedby = {0},
  pages = {3-8},
  booktitle = {PEPM},
}

@inproceedings{ChurchillMT14,
  title = {Reusable components of semantic specifications},
  author = {Martin Churchill and Peter D. Mosses and Paolo Torrini},
  year = {2014},
  doi = {10.1145/2577080.2577099},
  url = {http://doi.acm.org/10.1145/2577080.2577099},
  researchr = {https://researchr.org/publication/ChurchillMT14},
  cites = {0},
  citedby = {0},
  pages = {145-156},
  booktitle = {AOSD},
}

@article{Mosses06:0,
  title = {Formal Semantics of Programming Languages: - An Overview - },
  author = {Peter D. Mosses},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.012},
  tags = {programming languages, semantics, meta programming, formal semantics, meta-model, modeling language, language modeling, programming, Meta-Environment},
  researchr = {https://researchr.org/publication/Mosses06%3A0},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {148},
  number = {1},
  pages = {41-73},
}

@misc{homepages-m-PeterDMosses,
  title = {Home Page},
  author = {Peter D. Mosses},
  researchr = {https://researchr.org/publication/homepages-m-PeterDMosses},
  cites = {0},
  citedby = {0},
  howpublished = {http://www.cs.swan.ac.uk/~cspdm/},
}

@inproceedings{PoulsenM14,
  title = {Deriving Pretty-Big-Step Semantics from Small-Step Semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2014},
  doi = {10.1007/978-3-642-54833-8_15},
  url = {http://dx.doi.org/10.1007/978-3-642-54833-8_15},
  researchr = {https://researchr.org/publication/PoulsenM14},
  cites = {0},
  citedby = {0},
  pages = {270-289},
  booktitle = {ESOP},
}

@article{JohnstoneMS10,
  title = {An agile approach to language modelling and development},
  author = {Adrian Johnstone and Peter D. Mosses and Elizabeth Scott},
  year = {2010},
  doi = {10.1007/s11334-009-0111-6},
  url = {http://dx.doi.org/10.1007/s11334-009-0111-6},
  tags = {programming languages, semantics, reusable components, rule-based, program analysis, meta programming, meta-model, modeling language, modeling, language modeling, points-to analysis, domain analysis, testing, analysis, language design, principles, reuse, model-driven development, source-to-source, programming, context-aware, Meta-Environment, incremental, design, systematic-approach, open-source, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/JohnstoneMS10},
  cites = {43},
  citedby = {0},
  journal = {isse},
  volume = {6},
  number = {1-2},
  pages = {145-153},
}

@inproceedings{MossesM94,
  title = {An Action Semantics for ML Concurrency Primitives},
  author = {Peter D. Mosses and Martín Musicante},
  year = {1994},
  tags = {semantics,  action semantics},
  researchr = {https://researchr.org/publication/MossesM94},
  cites = {0},
  citedby = {0},
  pages = {461-479},
  booktitle = {FM},
}

@article{Mosses02:0,
  title = {Action Semantics and ASF+SDF: System Demonstration},
  author = {Peter D. Mosses},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#003},
  tags = {semantics, SDF,  action semantics, ASF+SDF},
  researchr = {https://researchr.org/publication/Mosses02%3A0},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {65},
  number = {3},
  pages = {2-8},
}

@article{IversenM05,
  title = {Constructive Action Semantics for Core ML},
  author = {Jørgen Iversen and Peter D. Mosses},
  year = {2005},
  doi = {10.1049/ip-sen:20041182},
  url = {http://dx.doi.org/10.1049/ip-sen:20041182},
  researchr = {https://researchr.org/publication/IversenM05},
  cites = {0},
  citedby = {0},
  journal = {iee},
  volume = {152},
  number = {2},
  pages = {79-98},
}

@article{Mosses-FI-2004,
  title = {Exploiting Labels in Structural Operational Semantics},
  author = {Peter D. Mosses},
  year = {2004},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=17},
  tags = {semantics,  structural operational semantics, operational semantics},
  researchr = {https://researchr.org/publication/Mosses-FI-2004},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {60},
  number = {1-4},
  pages = {17-31},
}

@article{MossesN09,
  title = {Implicit Propagation in Structural Operational Semantics},
  author = {Peter D. Mosses and Mark J. New},
  year = {2009},
  doi = {10.1016/j.entcs.2009.07.073},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.07.073},
  tags = {programming languages, semantics, rule-based, translation, meta programming, formal semantics,  structural operational semantics, process algebra, SOS, reuse, rules, algebraic specification,  algebra, programming, operational semantics, modular SOS, Meta-Environment},
  researchr = {https://researchr.org/publication/MossesN09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {229},
  number = {4},
  pages = {49-66},
}

@article{GlabbeekM09,
  title = {Special issue on structural operational semantics},
  author = {Rob J. van Glabbeek and Peter D. Mosses},
  year = {2009},
  doi = {10.1016/j.ic.2008.10.006},
  url = {http://dx.doi.org/10.1016/j.ic.2008.10.006},
  tags = {semantics,  structural operational semantics, operational semantics},
  researchr = {https://researchr.org/publication/GlabbeekM09},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {207},
  number = {2},
  pages = {83-84},
}

@inproceedings{BragaHMM02,
  title = {Mapping Modular SOS to Rewriting Logic},
  author = {Christiano de O. Braga and Edward Hermann Haeusler and José Meseguer and Peter D. Mosses},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2664/26640262.htm},
  tags = {SOS, graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/BragaHMM02},
  cites = {0},
  citedby = {0},
  pages = {262-277},
  booktitle = {LOPSTR},
}

@article{Mosses00:0,
  title = {A Foreword to  Fundamental Concepts in Programming Languages },
  author = {Peter D. Mosses},
  year = {2000},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Mosses00%3A0},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {13},
  number = {1/2},
  pages = {7-9},
}

@article{AntimirovM95,
  title = {Rewriting Extended Regular Expressions},
  author = {Valentin M. Antimirov and Peter D. Mosses},
  year = {1995},
  doi = {10.1016/0304-3975(95)80024-4},
  url = {http://dx.doi.org/10.1016/0304-3975(95)80024-4},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AntimirovM95},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {143},
  number = {1},
  pages = {51-72},
}

@book{Mosses04,
  title = {CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language},
  author = {Peter D. Mosses},
  year = {2004},
  tags = {completeness, algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Mosses04},
  cites = {0},
  citedby = {0},
  volume = {2960},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21301-5},
}

@article{KirchnerM01,
  title = {Algebraic Specifications, Higher-order Types and Set-theoretic Models},
  author = {Hélène Kirchner and Peter D. Mosses},
  year = {2001},
  url = {http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_03/110453.sgm.abs.html},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/KirchnerM01},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {11},
  number = {3},
  pages = {453-481},
}

@inproceedings{Mosses74,
  title = {The Semantics of Semantic Equations},
  author = {Peter D. Mosses},
  year = {1974},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Mosses74},
  cites = {0},
  citedby = {0},
  pages = {409-422},
  booktitle = {mfcs},
}

@inproceedings{ChurchillM13,
  title = {Modular Bisimulation Theory for Computations and Values},
  author = {Martin Churchill and Peter D. Mosses},
  year = {2013},
  doi = {10.1007/978-3-642-37075-5_7},
  url = {http://dx.doi.org/10.1007/978-3-642-37075-5_7},
  researchr = {https://researchr.org/publication/ChurchillM13},
  cites = {0},
  citedby = {0},
  pages = {97-112},
  booktitle = {fossacs},
}

@article{PoulsenM17,
  title = {Flag-based big-step semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2017},
  doi = {10.1016/j.jlamp.2016.05.001},
  url = {http://dx.doi.org/10.1016/j.jlamp.2016.05.001},
  researchr = {https://researchr.org/publication/PoulsenM17},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {88},
  pages = {174-190},
}

@inproceedings{Mosses97,
  title = {CoFI: The Common Framework Initiative for Algebraic Specification and Development},
  author = {Peter D. Mosses},
  year = {1997},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Mosses97},
  cites = {0},
  citedby = {0},
  pages = {115-137},
  booktitle = {tapsoft},
}

@inproceedings{HintermaierKM95,
  title = {Combining Algebraic and Set-Theoretic Specifications},
  author = {Claus Hintermeier and Hélène Kirchner and Peter D. Mosses},
  year = {1995},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/HintermaierKM95},
  cites = {0},
  citedby = {0},
  pages = {255-273},
  booktitle = {compass},
}

@article{BinsbergenMS19,
  title = {Executable component-based semantics},
  author = {L. Thomas van Binsbergen and Peter D. Mosses and Neil Sculthorpe},
  year = {2019},
  doi = {10.1016/j.jlamp.2018.12.004},
  url = {https://doi.org/10.1016/j.jlamp.2018.12.004},
  researchr = {https://researchr.org/publication/BinsbergenMS19},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {103},
  pages = {184-212},
}

@article{BrandIM04,
  title = {An Action Environment},
  author = {Mark G. J. van den Brand and Jørgen Iversen and Peter D. Mosses},
  year = {2004},
  doi = {10.1016/j.entcs.2004.06.005},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.06.005},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BrandIM04},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {110},
  pages = {149-168},
}

@article{Mosses05,
  title = {A Constructive Approach to Language Definition},
  author = {Peter D. Mosses},
  year = {2005},
  url = {http://www.jucs.org/jucs_11_7/a_contructive_approach_to},
  tags = {programming languages, semantics, rule-based, translation, semantics of programming languages, formal semantics,  structural operational semantics, Modularity,  action semantics, SOS, reuse, programming, operational semantics, systematic-approach},
  researchr = {https://researchr.org/publication/Mosses05},
  cites = {0},
  citedby = {0},
  journal = {jucs},
  volume = {11},
  number = {7},
  pages = {1117-1134},
}

@inproceedings{Mosses88,
  title = {Unified Algebras},
  author = {Peter D. Mosses},
  year = {1988},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Mosses88},
  cites = {0},
  citedby = {0},
  booktitle = {WADT},
}

@article{Mosses15,
  title = {Semantics of programming languages: Using Asf+Sdf},
  author = {Peter D. Mosses},
  year = {2015},
  doi = {10.1016/j.scico.2013.11.038},
  url = {http://dx.doi.org/10.1016/j.scico.2013.11.038},
  researchr = {https://researchr.org/publication/Mosses15},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {97},
  pages = {2-10},
}

@inproceedings{MossesV15,
  title = {Weak Bisimulation as a Congruence in MSOS},
  author = {Peter D. Mosses and Ferdinand Vesely},
  year = {2015},
  doi = {10.1007/978-3-319-23165-5_24},
  url = {http://dx.doi.org/10.1007/978-3-319-23165-5_24},
  researchr = {https://researchr.org/publication/MossesV15},
  cites = {0},
  citedby = {0},
  pages = {519-538},
  booktitle = {BIRTHDAY},
}

@inproceedings{Mosses02,
  title = {Pragmatics of Modular SOS},
  author = {Peter D. Mosses},
  year = {2002},
  doi = {10.1007/3-540-45719-4_3},
  url = {https://doi.org/10.1007/3-540-45719-4_3},
  tags = {SOS},
  researchr = {https://researchr.org/publication/Mosses02},
  cites = {0},
  citedby = {0},
  pages = {21-40},
  booktitle = {amast},
}

@inproceedings{Mosses89-0,
  title = {A Practical Introduction to Denotational Semantics},
  author = {Peter D. Mosses},
  year = {1989},
  researchr = {https://researchr.org/publication/Mosses89-0},
  cites = {0},
  citedby = {0},
  pages = {1-50},
  booktitle = {ifip2},
}

@inproceedings{Mosses17,
  title = {Engineering meta-languages for specifying software languages (keynote)},
  author = {Peter D. Mosses},
  year = {2017},
  doi = {10.1145/3136014.3148041},
  url = {http://doi.acm.org/10.1145/3136014.3148041},
  researchr = {https://researchr.org/publication/Mosses17},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {SLE},
}

@inproceedings{Mosses09,
  title = {Component-based semantics},
  author = {Peter D. Mosses},
  year = {2009},
  doi = {10.1145/1596486.1596489},
  url = {http://doi.acm.org/10.1145/1596486.1596489},
  researchr = {https://researchr.org/publication/Mosses09},
  cites = {0},
  citedby = {0},
  pages = {3-10},
  booktitle = {FSE},
}

@inproceedings{Mosses81,
  title = {A Semantic Algebra for Binding Constructs},
  author = {Peter D. Mosses},
  year = {1981},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Mosses81},
  cites = {0},
  citedby = {0},
  pages = {408-418},
  booktitle = {icfpc},
}

@inproceedings{Mosses92,
  title = {Unified Algebras and Abstract Syntax},
  author = {Peter D. Mosses},
  year = {1992},
  tags = {abstract syntax,  algebra},
  researchr = {https://researchr.org/publication/Mosses92},
  cites = {0},
  citedby = {0},
  pages = {280-294},
  booktitle = {compass},
}

@inproceedings{DeursenM96,
  title = {ASD: The Action Semantic Description Tools},
  author = {Arie  van Deursen and Peter D. Mosses},
  year = {1996},
  researchr = {https://researchr.org/publication/DeursenM96},
  cites = {0},
  citedby = {0},
  pages = {579-582},
  booktitle = {amast},
}

@article{MossesP87,
  title = {On Proving Limiting Completeness},
  author = {Peter D. Mosses and Gordon D. Plotkin},
  year = {1987},
  tags = {completeness},
  researchr = {https://researchr.org/publication/MossesP87},
  cites = {0},
  citedby = {0},
  journal = {SICOMP},
  volume = {16},
  number = {1},
  pages = {179-194},
}

@inproceedings{MossesW87,
  title = {The use of action semantics},
  author = {Peter D. Mosses and David A. Watt},
  year = {1987},
  researchr = {https://researchr.org/publication/MossesW87},
  cites = {0},
  citedby = {0},
  pages = {135-166},
  booktitle = {ifip2},
}

@article{BrandIM04a,
  title = {The Action Environment: -- Tool Demonstration --},
  author = {Mark G. J. van den Brand and Jørgen Iversen and Peter D. Mosses},
  year = {2004},
  doi = {10.1016/j.entcs.2004.06.002},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.06.002},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BrandIM04a},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {110},
  pages = {177-180},
}

@article{Mosses11,
  title = {VDM semantics of programming languages: combinators and monads},
  author = {Peter D. Mosses},
  year = {2011},
  doi = {10.1007/s00165-009-0145-4},
  url = {http://dx.doi.org/10.1007/s00165-009-0145-4},
  tags = {programming languages, semantics, programming},
  researchr = {https://researchr.org/publication/Mosses11},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {23},
  number = {2},
  pages = {221-238},
}

@inproceedings{HintermeierKM95,
  title = {R:::n:::- and G:::n:::-Logics},
  author = {Claus Hintermeier and Hélène Kirchner and Peter D. Mosses},
  year = {1995},
  tags = {logic},
  researchr = {https://researchr.org/publication/HintermeierKM95},
  cites = {0},
  citedby = {0},
  pages = {90-108},
  booktitle = {hoa},
}

@incollection{Mosses90,
  title = {Denotational Semantics},
  author = {Peter D. Mosses},
  year = {1990},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/Mosses90},
  cites = {0},
  citedby = {0},
  pages = {575-631},
  booktitle = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)},
}

@article{KucherovLM96,
  title = {Valentin M. Antimirov (1961-1995)},
  author = {Gregory Kucherov and Pierre Lescanne and Peter D. Mosses},
  year = {1996},
  researchr = {https://researchr.org/publication/KucherovLM96},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {155},
  number = {2},
  pages = {289-290},
}

@article{Mosses96:0,
  title = {CoFI: The Common Framework Initiative for Algebraic Specification},
  author = {Peter D. Mosses},
  year = {1996},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Mosses96%3A0},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {59},
}

@article{Mosses98:0,
  title = {Semantics, modularity, and rewriting logic},
  author = {Peter D. Mosses},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#026},
  tags = {semantics, graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Mosses98%3A0},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {15},
  pages = {404-421},
}

@inproceedings{Mosses89,
  title = {Unified Algebras and Modules},
  author = {Peter D. Mosses},
  year = {1989},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Mosses89},
  cites = {0},
  citedby = {0},
  pages = {329-343},
  booktitle = {POPL},
}

@inproceedings{Mosses96,
  title = {Theory and Practice of Action Semantics},
  author = {Peter D. Mosses},
  year = {1996},
  tags = {semantics,  action semantics},
  researchr = {https://researchr.org/publication/Mosses96},
  cites = {0},
  citedby = {0},
  pages = {37-61},
  booktitle = {mfcs},
}

@techreport{Mosses1999amsosfor,
  title = {A Modular SOS for ML Concurrency Primitives},
  author = {Peter D. Mosses},
  year = {1999},
  url = {http://www.brics.dk/RS/99/57/},
  researchr = {https://researchr.org/publication/Mosses1999amsosfor},
  cites = {0},
  citedby = {0},
  institution = {Department of Computer Science, Aarhus University},
  type = {BRICS Research Series},
  number = {RS-99-57},
}

@inproceedings{Mosses99:0,
  title = {Foundations of Modular SOS},
  author = {Peter D. Mosses},
  year = {1999},
  tags = {SOS},
  researchr = {https://researchr.org/publication/Mosses99%3A0},
  cites = {0},
  citedby = {0},
  pages = {70-80},
  booktitle = {mfcs},
}

@inproceedings{KrishnanM92,
  title = {Specifying Asynchronous Transfer of Control},
  author = {Padmanabhan Krishnan and Peter D. Mosses},
  year = {1992},
  researchr = {https://researchr.org/publication/KrishnanM92},
  cites = {0},
  citedby = {0},
  pages = {291-306},
  booktitle = {ftrtft},
}

@article{MossesU06,
  title = {Preface},
  author = {Peter D. Mosses and Irek Ulidowski},
  year = {2006},
  doi = {10.1016/j.entcs.2006.01.018},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.01.018},
  researchr = {https://researchr.org/publication/MossesU06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {156},
  number = {1},
  pages = {1-2},
}

@inproceedings{Mosses80:0,
  title = {A Constructive Approach to Compiler Correctness},
  author = {Peter D. Mosses},
  year = {1980},
  tags = {compiler, systematic-approach},
  researchr = {https://researchr.org/publication/Mosses80%3A0},
  cites = {0},
  citedby = {0},
  pages = {449-469},
  booktitle = {icalp},
}

@inproceedings{Mosses98,
  title = {CASL: A Guided Tour of Its Design},
  author = {Peter D. Mosses},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1589/15890216.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/Mosses98},
  cites = {0},
  citedby = {0},
  pages = {216-240},
  booktitle = {WADT},
}

@article{Mosses-JLAP-2004,
  title = {Modular structural operational semantics},
  author = {Peter D. Mosses},
  year = {2004},
  doi = {10.1016/j.jlap.2004.03.008},
  url = {http://dx.doi.org/10.1016/j.jlap.2004.03.008},
  tags = {programming languages, semantics, rule-based,  structural operational semantics, SOS, rules, reviewing, programming, operational semantics, incremental},
  researchr = {https://researchr.org/publication/Mosses-JLAP-2004},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {60-61},
  pages = {195-228},
}

@article{BrandIM06,
  title = {An Action Environment},
  author = {Mark G. J. van den Brand and Jørgen Iversen and Peter D. Mosses},
  year = {2006},
  doi = {10.1016/j.scico.2006.04.005},
  url = {http://dx.doi.org/10.1016/j.scico.2006.04.005},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BrandIM06},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {61},
  number = {3},
  pages = {245-264},
}

@inproceedings{Mosses83,
  title = {A Solution to Problem 7 - Parallel Combinator Reduction Machine -},
  author = {Peter D. Mosses},
  year = {1983},
  researchr = {https://researchr.org/publication/Mosses83},
  cites = {0},
  citedby = {0},
  pages = {354-358},
  booktitle = {acs},
}

@article{MossesU07,
  title = {Preface},
  author = {Peter D. Mosses and Irek Ulidowski},
  year = {2007},
  doi = {10.1016/j.tcs.2006.12.015},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.12.015},
  researchr = {https://researchr.org/publication/MossesU07},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {373},
  number = {3},
  pages = {161-162},
}

@inproceedings{Mosses99,
  title = {Logical Specification of Operational Semantics},
  author = {Peter D. Mosses},
  year = {1999},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/Mosses99},
  cites = {0},
  citedby = {0},
  pages = {32-49},
  booktitle = {csl},
}

@inproceedings{Mosses86,
  title = {Action Semantics},
  author = {Peter D. Mosses},
  year = {1986},
  tags = {semantics,  action semantics},
  researchr = {https://researchr.org/publication/Mosses86},
  cites = {0},
  citedby = {0},
  booktitle = {adt},
}

@inproceedings{Mosses82,
  title = {Abstract Semantic Algebras},
  author = {Peter D. Mosses},
  year = {1982},
  researchr = {https://researchr.org/publication/Mosses82},
  cites = {0},
  citedby = {0},
  pages = {45-72},
  booktitle = {ifip2},
}

@inproceedings{KirchnerM98,
  title = {Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models},
  author = {Hélène Kirchner and Peter D. Mosses},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1548/15480373.htm},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/KirchnerM98},
  cites = {0},
  citedby = {0},
  pages = {373-388},
  booktitle = {amast},
}

@inproceedings{Mosses84,
  title = {A Basic Abstract Semantic Algebra},
  author = {Peter D. Mosses},
  year = {1984},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Mosses84},
  cites = {0},
  citedby = {0},
  pages = {87-107},
  booktitle = {sdt},
}

@article{ChurchillMST14,
  title = {Reusable Components of Semantic Specifications},
  author = {Martin Churchill and Peter D. Mosses and Neil Sculthorpe and Paolo Torrini},
  year = {2015},
  doi = {10.1007/978-3-662-46734-3_4},
  url = {http://dx.doi.org/10.1007/978-3-662-46734-3_4},
  researchr = {https://researchr.org/publication/ChurchillMST14},
  cites = {0},
  citedby = {0},
  journal = {TAOSD},
  volume = {12},
  pages = {132-179},
}

@inproceedings{Mosses07,
  title = {VDM Semantics of Programming Languages: Combinators and Monads},
  author = {Peter D. Mosses},
  year = {2007},
  doi = {10.1007/978-3-540-75221-9_23},
  url = {http://dx.doi.org/10.1007/978-3-540-75221-9_23},
  tags = {programming languages, semantics, programming},
  researchr = {https://researchr.org/publication/Mosses07},
  cites = {0},
  citedby = {0},
  pages = {483-503},
  booktitle = {birthday},
}

@inproceedings{Mosses89a,
  title = {Unified Algebras and Institutions},
  author = {Peter D. Mosses},
  year = {1989},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Mosses89a},
  cites = {0},
  citedby = {0},
  pages = {304-312},
  booktitle = {lics},
}

@inproceedings{Mosses08,
  title = {Component-Based Description of Programming Languages},
  author = {Peter D. Mosses},
  year = {2008},
  url = {http://www.bcs.org/server.php?show=ConWebDoc.22912},
  tags = {programming languages, rule-based, programming},
  researchr = {https://researchr.org/publication/Mosses08},
  cites = {0},
  citedby = {0},
  pages = {275-286},
  booktitle = {bcs},
}

@article{DohM01,
  title = {Composing Programming Languages by Combining Action-Semantics Modules},
  author = {Kyung-Goo Doh and Peter D. Mosses},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#008},
  tags = {programming languages, semantics,  action semantics, programming},
  researchr = {https://researchr.org/publication/DohM01},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {44},
  number = {2},
  pages = {87-109},
}

@inproceedings{Mosses92:0,
  title = {On the Action Semantics of Concurrent Programming Languages},
  author = {Peter D. Mosses},
  year = {1992},
  tags = {programming languages, semantics,  action semantics, programming},
  researchr = {https://researchr.org/publication/Mosses92%3A0},
  cites = {0},
  citedby = {0},
  pages = {398-424},
  booktitle = {rex},
}

@inproceedings{Mosses76,
  title = {Compiler Generation Using Denotational Semantics},
  author = {Peter D. Mosses},
  year = {1976},
  tags = {semantics, denotational semantics, compiler},
  researchr = {https://researchr.org/publication/Mosses76},
  cites = {0},
  citedby = {0},
  pages = {436-441},
  booktitle = {mfcs},
}

@book{BidoitM04,
  title = {Casl User Manual - Introduction to Using the Common Algebraic Specification Language},
  author = {Michel Bidoit and Peter D. Mosses},
  year = {2004},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/BidoitM04},
  cites = {0},
  citedby = {0},
  volume = {2900},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20766-X},
}

@inproceedings{PoulsenM13,
  title = {Generating Specialized Interpreters for Modular Structural Operational Semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2013},
  doi = {10.1007/978-3-319-14125-1_13},
  url = {http://dx.doi.org/10.1007/978-3-319-14125-1_13},
  researchr = {https://researchr.org/publication/PoulsenM13},
  cites = {0},
  citedby = {0},
  pages = {220-236},
  booktitle = {LOPSTR},
}

@inproceedings{Mosses06,
  title = {Constructive Action Semantics in OBJ},
  author = {Peter D. Mosses},
  year = {2006},
  doi = {10.1007/11780274_15},
  url = {http://dx.doi.org/10.1007/11780274_15},
  tags = {semantics,  action semantics},
  researchr = {https://researchr.org/publication/Mosses06},
  cites = {0},
  citedby = {0},
  pages = {281-295},
  booktitle = {BIRTHDAY},
}

@inproceedings{AntimirovM93,
  title = {Rewriting Extended Regular Expressions},
  author = {Valentin M. Antimirov and Peter D. Mosses},
  year = {1993},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AntimirovM93},
  cites = {0},
  citedby = {0},
  pages = {195-209},
  booktitle = {dlt},
}

@article{Mosses19,
  title = {Software meta-language engineering and CBS},
  author = {Peter D. Mosses},
  year = {2019},
  doi = {10.1016/j.jvlc.2018.11.003},
  url = {https://doi.org/10.1016/j.jvlc.2018.11.003},
  researchr = {https://researchr.org/publication/Mosses19},
  cites = {0},
  citedby = {0},
  journal = {JCL (JVLC)},
  volume = {50},
  pages = {39-48},
}

@inproceedings{DeursenM93,
  title = {Executing Action Semantic Descriptions using ASF+SDF},
  author = {Arie  van Deursen and Peter D. Mosses},
  year = {1993},
  tags = {SDF, ASF+SDF},
  researchr = {https://researchr.org/publication/DeursenM93},
  cites = {0},
  citedby = {0},
  pages = {413-414},
  booktitle = {amast},
}

@article{AstesianoBKKMST02,
  title = {CASL: the Common Algebraic Specification Language},
  author = {Egidio Astesiano and Michel Bidoit and Hélène Kirchner and Bernd Krieg-Brückner and Peter D. Mosses and Donald Sannella and Andrzej Tarlecki},
  year = {2002},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/AstesianoBKKMST02},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {286},
  number = {2},
  pages = {153-196},
}

@inproceedings{Mosses-SAC-2004,
  title = {Exploiting labels in Structural Operational Semantics},
  author = {Peter D. Mosses},
  year = {2004},
  doi = {10.1145/967900.968195},
  url = {http://doi.acm.org/10.1145/967900.968195},
  tags = {programming languages, semantics,  structural operational semantics, SOS, programming, operational semantics},
  researchr = {https://researchr.org/publication/Mosses-SAC-2004},
  cites = {0},
  citedby = {0},
  pages = {1476-1481},
  booktitle = {SAC},
}

@article{Mosses18,
  title = {CoFI with Don Sannella},
  author = {Peter D. Mosses},
  year = {2018},
  url = {https://www.wikidata.org/entity/Q57783357},
  researchr = {https://researchr.org/publication/Mosses18},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {741},
  pages = {44-47},
}

@inproceedings{BinsbergenSM16,
  title = {Tool support for component-based semantics},
  author = {L. Thomas van Binsbergen and Neil Sculthorpe and Peter D. Mosses},
  year = {2016},
  doi = {10.1145/2892664.2893464},
  url = {http://doi.acm.org/10.1145/2892664.2893464},
  researchr = {https://researchr.org/publication/BinsbergenSM16},
  cites = {0},
  citedby = {0},
  pages = {8-11},
  booktitle = {AOSD},
}

@article{ValenteMJ08,
  title = {SBLP 2008: XII Brazilian Symposium on Programming},
  author = {Marco Tulio Valente and Peter D. Mosses and Francisco Heron de Carvalho Jr},
  year = {2008},
  url = {http://www.jucs.org/jucs_14_21/sblp_2008},
  tags = {programming},
  researchr = {https://researchr.org/publication/ValenteMJ08},
  cites = {0},
  citedby = {0},
  journal = {jucs},
  volume = {14},
  number = {21},
  pages = {3412-3414},
}

@article{MossesNS96,
  title = {Foreword: Special Volume of TAPSOFT 1995 Papers},
  author = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  year = {1996},
  researchr = {https://researchr.org/publication/MossesNS96},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {167},
  number = {1&2},
  pages = {1},
}

@inproceedings{Mosses89:0,
  title = {Unified Algebras and Action Semantics},
  author = {Peter D. Mosses},
  year = {1989},
  tags = {semantics,  action semantics,  algebra},
  researchr = {https://researchr.org/publication/Mosses89%3A0},
  cites = {0},
  citedby = {0},
  pages = {17-35},
  booktitle = {STACS},
}

@inproceedings{Mosses91,
  title = {The Use of Sorts in Algebraic Specifications},
  author = {Peter D. Mosses},
  year = {1991},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Mosses91},
  cites = {0},
  citedby = {0},
  pages = {66-92},
  booktitle = {compass},
}

@inproceedings{BragaHMM00,
  title = {Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic},
  author = {Christiano de O. Braga and Edward Hermann Haeusler and José Meseguer and Peter D. Mosses},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1816/18160407.htm},
  tags = {semantics,  action semantics, graph-rewriting, logic, rewriting logic, rewriting, reflection},
  researchr = {https://researchr.org/publication/BragaHMM00},
  cites = {0},
  citedby = {0},
  pages = {407-421},
  booktitle = {amast},
}
@proceedings{tapsoft:1995,
  title = {TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  year = {1995},
  researchr = {https://researchr.org/publication/tapsoft%3A1995},
  cites = {0},
  citedby = {0},
  booktitle = {TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  conference = {tapsoft},
  editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  volume = {915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59293-8},
}

@proceedings{wadt:1999,
  title = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT  99, Château de Bonas, France, September 15-18, 1999, Selected Papers},
  year = {2000},
  tags = { algebra},
  researchr = {https://researchr.org/publication/wadt%3A1999},
  cites = {0},
  citedby = {0},
  booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT  99, Château de Bonas, France, September 15-18, 1999, Selected Papers},
  conference = {WADT},
  editor = {Didier Bert and Christine Choppy and Peter D. Mosses},
  volume = {1827},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67898-0},
}

@proceedings{wadt:2004,
  title = {Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers},
  year = {2004},
  tags = { algebra},
  researchr = {https://researchr.org/publication/wadt%3A2004},
  cites = {0},
  citedby = {0},
  booktitle = {Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers},
  conference = {WADT},
  editor = {José Luiz Fiadeiro and Peter D. Mosses and Fernando Orejas},
  volume = {3423},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25327-0},
}

@proceedings{ifipTCS:2000,
  title = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings},
  year = {2000},
  tags = {e-science},
  researchr = {https://researchr.org/publication/ifipTCS%3A2000},
  cites = {0},
  citedby = {0},
  booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings},
  conference = {ifipTCS},
  editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito},
  volume = {1872},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67823-9},
}