publications:
- title: "Institution Independent Static Analysis for CASL"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Bartek Klin"
    link: "https://researchr.org/alias/bartek-klin"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2267/22670221.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2267/22670221.htm"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/MossakowskiK01"
  cites: 0
  citedby: 0
  pages: "221-237"
  booktitle: "Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers"
  editor:
  - name: "Maura Cerioli"
    link: "https://researchr.org/alias/maura-cerioli"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  volume: "2267"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43159-4"
  kind: "inproceedings"
  key: "MossakowskiK01"
- title: "Using Limits of Parchment to Systematically Construct Institutions of partial Algebras"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1995"
  tags:
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Mossakowski95"
  cites: 0
  citedby: 0
  pages: "379-393"
  booktitle: "Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers"
  editor:
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Olaf Owe"
    link: "https://researchr.org/alias/olaf-owe"
  - name: "Ole-Johan Dahl"
    link: "https://researchr.org/alias/ole-johan-dahl"
  volume: "1130"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61629-2"
  kind: "inproceedings"
  key: "Mossakowski95"
- title: "Type Class Polymorphism in an Institutional Framework"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Christoph Lüth"
    link: "https://researchr.org/alias/christoph-l%C3%BCth"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=234"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=234"
  researchr: "https://researchr.org/publication/SchroderML04"
  cites: 0
  citedby: 0
  pages: "234-251"
  booktitle: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "3423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25327-0"
  kind: "inproceedings"
  key: "SchroderML04"
- title: "Reasoning Support for Caslwith Automated Theorem Proving Systems"
  author:
  - name: "Klaus Lüttich"
    link: "https://researchr.org/alias/klaus-l%C3%BCttich"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71998-4_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71998-4_5"
  researchr: "https://researchr.org/publication/LuttichM06"
  cites: 0
  citedby: 0
  pages: "74-91"
  booktitle: "Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "4409"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71997-7"
  kind: "inproceedings"
  key: "LuttichM06"
- title: "Extending Development Graphs with Hiding"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Serge Autexier"
    link: "https://researchr.org/alias/serge-autexier"
  - name: "Dieter Hutter"
    link: "https://researchr.org/alias/dieter-hutter"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290269.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290269.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/MossakowskiAH01"
  cites: 0
  citedby: 0
  pages: "269-283"
  booktitle: "Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Heinrich Hußmann"
    link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann"
  volume: "2029"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41863-6"
  kind: "inproceedings"
  key: "MossakowskiAH01"
- title: "CoCASL at Work -- Modelling Process Algebra"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/49/show/Products/notes/index.htt#013"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/49/show/Products/notes/index.htt#013"
  tags:
  - "process algebra"
  - " algebra"
  - "process modeling"
  researchr: "https://researchr.org/publication/MossakowskiRS03"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "82"
  number: "1"
  pages: "206-220"
  kind: "article"
  key: "MossakowskiRS03"
- title: "A temporal-logic extension of role-based access control covering dynamic separation of duties"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Michael Drouineaud"
    link: "https://researchr.org/alias/michael-drouineaud"
  - name: "Karsten Sohr"
    link: "https://researchr.org/alias/karsten-sohr"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120083abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120083abs.htm"
  tags:
  - "rule-based"
  - "logic"
  - "access control"
  - "role-based access control"
  researchr: "https://researchr.org/publication/MossakowskiDS03"
  cites: 0
  citedby: 0
  pages: "83-90"
  booktitle: "10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1912-1"
  kind: "inproceedings"
  key: "MossakowskiDS03"
- title: "A Simple Refinement Language for Casl"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=162"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=162"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/MossakowskiST04"
  cites: 0
  citedby: 0
  pages: "162-185"
  booktitle: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "3423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25327-0"
  kind: "inproceedings"
  key: "MossakowskiST04"
- title: "Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens"
  author:
  - name: "Kathrin Hoffmann"
    link: "https://researchr.org/alias/kathrin-hoffmann"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=253"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=253"
  tags:
  - "graph-rewriting"
  - " algebra"
  - "rewriting"
  researchr: "https://researchr.org/publication/HoffmannM02"
  cites: 0
  citedby: 0
  pages: "253-267"
  booktitle: "Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Dirk Pattinson"
    link: "https://researchr.org/alias/dirk-pattinson"
  - name: "Rolf Hennicker"
    link: "https://researchr.org/alias/rolf-hennicker"
  volume: "2755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20537-3"
  kind: "inproceedings"
  key: "HoffmannM02"
- title: "Monad-Independent Hoare Logic in HASCASL"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2621/26210261.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2621/26210261.htm"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/SchroderM03"
  cites: 0
  citedby: 0
  pages: "261-277"
  booktitle: "Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings"
  editor:
  - name: "Mauro Pezzè"
    link: "https://researchr.org/alias/mauro-pezz%C3%A8"
  volume: "2621"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00899-3"
  kind: "inproceedings"
  key: "SchroderM03"
- title: "Combining and Representing Logical Systems"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  - name: "Wieslaw Pawlowski"
    link: "https://researchr.org/alias/wieslaw-pawlowski"
  year: "1997"
  researchr: "https://researchr.org/publication/MossakowskiTP97"
  cites: 0
  citedby: 0
  pages: "177-196"
  booktitle: "Category Theory and Computer Science, 7th International Conference, CTCS  97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings"
  editor:
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "Giuseppe Rosolini"
    link: "https://researchr.org/alias/giuseppe-rosolini"
  volume: "1290"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63455-X"
  kind: "inproceedings"
  key: "MossakowskiTP97"
- title: "Algebraic-coalgebraic specification in CoCasl"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Horst Reichel"
    link: "https://researchr.org/alias/horst-reichel"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jlap.2005.09.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2005.09.006"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/MossakowskiSRR06"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Algebraic Programming"
  volume: "67"
  number: "1-2"
  pages: "146-197"
  kind: "article"
  key: "MossakowskiSRR06"
- title: "Foundations of Heterogeneous Specification"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=359"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=359"
  researchr: "https://researchr.org/publication/Mossakowski02%3A2"
  cites: 0
  citedby: 0
  pages: "359-375"
  booktitle: "Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Dirk Pattinson"
    link: "https://researchr.org/alias/dirk-pattinson"
  - name: "Rolf Hennicker"
    link: "https://researchr.org/alias/rolf-hennicker"
  volume: "2755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20537-3"
  kind: "inproceedings"
  key: "Mossakowski02:2"
- title: "Permissive Subsorted Partial Logic in CASL"
  author:
  - name: "Maura Cerioli"
    link: "https://researchr.org/alias/maura-cerioli"
  - name: "Anne Elisabeth Haxthausen"
    link: "https://researchr.org/alias/anne-elisabeth-haxthausen"
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/CerioliHKM97"
  cites: 0
  citedby: 0
  pages: "91-107"
  booktitle: "Algebraic Methodology and Software Technology, 6th International Conference, AMAST  97, Sydney, Australia, December 13-17, 1997, Proceedings"
  editor:
  - name: "Michael Johnson"
    link: "https://researchr.org/alias/michael-johnson"
  volume: "1349"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63888-1"
  kind: "inproceedings"
  key: "CerioliHKM97"
- title: "Parametrized Exceptions"
  author:
  - name: "Dennis Walter"
    link: "https://researchr.org/alias/dennis-walter"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11548133_27"
  links:
    doi: "http://dx.doi.org/10.1007/11548133_27"
  tags:
  - "exceptions"
  researchr: "https://researchr.org/publication/WalterSM05"
  cites: 0
  citedby: 0
  pages: "424-438"
  booktitle: "Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Neil Harman"
    link: "https://researchr.org/alias/neil-harman"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Jan J. M. M. Rutten"
    link: "https://researchr.org/alias/jan-j.-m.-m.-rutten"
  volume: "3629"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28620-9"
  kind: "inproceedings"
  key: "WalterSM05"
- title: "Monad-independent Dynamic Logic in HasCasl"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2004"
  doi: "http://dx.doi.org/10.1093/logcom/14.4.571"
  links:
    doi: "http://dx.doi.org/10.1093/logcom/14.4.571"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/SchroderM04%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "14"
  number: "4"
  pages: "571-619"
  kind: "article"
  key: "SchroderM04:0"
- title: "Specification of an Ontology for Route Graphs"
  author:
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  - name: "Udo Frese"
    link: "https://researchr.org/alias/udo-frese"
  - name: "Klaus Lüttich"
    link: "https://researchr.org/alias/klaus-l%C3%BCttich"
  - name: "Christian Mandel"
    link: "https://researchr.org/alias/christian-mandel"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Robert J. Ross"
    link: "https://researchr.org/alias/robert-j.-ross"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3343&spage=390"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3343&spage=390"
  tags:
  - "ontologies"
  - "ontology"
  - "graph-rewriting"
  - "rewriting"
  - "routing"
  researchr: "https://researchr.org/publication/Krieg-BrucknerFLMMR04"
  cites: 0
  citedby: 0
  pages: "390-412"
  booktitle: "Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers"
  editor:
  - name: "Christian Freksa"
    link: "https://researchr.org/alias/christian-freksa"
  - name: "Markus Knauff"
    link: "https://researchr.org/alias/markus-knauff"
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  - name: "Bernhard Nebel"
    link: "https://researchr.org/alias/bernhard-nebel"
  - name: "Thomas Barkowsky"
    link: "https://researchr.org/alias/thomas-barkowsky"
  volume: "3343"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25048-4"
  kind: "inproceedings"
  key: "Krieg-BrucknerFLMMR04"
- title: "Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1993"
  tags:
  - "classification"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Mossakowski93"
  cites: 0
  citedby: 0
  pages: "137-144"
  booktitle: "Algebraic Methodology and Software Technology (AMAST  93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993"
  editor:
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  - name: "Giuseppe Scollo"
    link: "https://researchr.org/alias/giuseppe-scollo"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19852-0"
  kind: "inproceedings"
  key: "Mossakowski93"
- title: "The Heterogeneous Tool Set, Hets"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Christian Maeder"
    link: "https://researchr.org/alias/christian-maeder"
  - name: "Klaus Lüttich"
    link: "https://researchr.org/alias/klaus-l%C3%BCttich"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_40"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_40"
  researchr: "https://researchr.org/publication/MossakowskiML07%3A0"
  cites: 0
  citedby: 0
  pages: "519-522"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi"
  editor:
  - name: "Orna Grumberg"
    link: "https://researchr.org/alias/orna-grumberg"
  - name: "Michael Huth"
    link: "https://researchr.org/alias/michael-huth"
  volume: "4424"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71208-4"
  kind: "inproceedings"
  key: "MossakowskiML07:0"
- title: "Monad-Independent Dynamic Logic in Has Casl"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=425"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=425"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/SchroderM02%3A1"
  cites: 0
  citedby: 0
  pages: "425-441"
  booktitle: "Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Dirk Pattinson"
    link: "https://researchr.org/alias/dirk-pattinson"
  - name: "Rolf Hennicker"
    link: "https://researchr.org/alias/rolf-hennicker"
  volume: "2755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20537-3"
  kind: "inproceedings"
  key: "SchroderM02:1"
- title: "Structured CSP - A Process Algebra as an Institution"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71998-4_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71998-4_6"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/MossakowskiR06"
  cites: 0
  citedby: 0
  pages: "92-110"
  booktitle: "Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "4409"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71997-7"
  kind: "inproceedings"
  key: "MossakowskiR06"
- title: "HASCASL: Towards Integrated Specification and Development of Functional Programs"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220099.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220099.htm"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/SchroderM02"
  cites: 0
  citedby: 0
  pages: "99-116"
  booktitle: "Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings"
  editor:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  - name: "Christophe Ringeissen"
    link: "http://www.loria.fr/~ringeiss/"
  volume: "2422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44144-1"
  kind: "inproceedings"
  key: "SchroderM02"
- title: "A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1994"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Mossakowski94"
  cites: 0
  citedby: 0
  pages: "389-405"
  booktitle: "Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers"
  editor:
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "906"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59132-X"
  kind: "inproceedings"
  key: "Mossakowski94"
- title: "Coalgebraic Modal Logic in CoCasl"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71998-4_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71998-4_8"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/SchroderM06"
  cites: 0
  citedby: 0
  pages: "127-141"
  booktitle: "Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "4409"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71997-7"
  kind: "inproceedings"
  key: "SchroderM06"
- title: "Iterative Circular Coinduction for CoCasl in Isabelle/HOL"
  author:
  - name: "Daniel Hausmann"
    link: "https://researchr.org/alias/daniel-hausmann"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=341"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=341"
  researchr: "https://researchr.org/publication/HausmannMS05%3A0"
  cites: 0
  citedby: 0
  pages: "341-356"
  booktitle: "Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Maura Cerioli"
    link: "https://researchr.org/alias/maura-cerioli"
  volume: "3442"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25420-X"
  kind: "inproceedings"
  key: "HausmannMS05:0"
- title: "Subsorted Partial Higher-Order Locig as an Extension of CASL"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Anne Elisabeth Haxthausen"
    link: "https://researchr.org/alias/anne-elisabeth-haxthausen"
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  year: "1999"
  researchr: "https://researchr.org/publication/MossakowskiHK99"
  cites: 0
  citedby: 0
  pages: "126-145"
  booktitle: "Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT  99, Château de Bonas, France, September 15-18, 1999, Selected Papers"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Christine Choppy"
    link: "https://researchr.org/alias/christine-choppy"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  volume: "1827"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67898-0"
  kind: "inproceedings"
  key: "MossakowskiHK99"
- title: "Ontologies for the Semantic Web in Casl"
  author:
  - name: "Klaus Lüttich"
    link: "https://researchr.org/alias/klaus-l%C3%BCttich"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=106"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=106"
  tags:
  - "ontologies"
  - "ontology"
  - "semantic web"
  researchr: "https://researchr.org/publication/LuttichMK04"
  cites: 0
  citedby: 0
  pages: "106-125"
  booktitle: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "3423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25327-0"
  kind: "inproceedings"
  key: "LuttichMK04"
- title: "Checking Amalgamability Conditions for C ASL Architectural Specifications"
  author:
  - name: "Bartek Klin"
    link: "https://researchr.org/alias/bartek-klin"
  - name: "Piotr Hoffman"
    link: "https://researchr.org/alias/piotr-hoffman"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2136/21360451.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2136/21360451.htm"
  tags:
  - "architecture"
  - "C++"
  researchr: "https://researchr.org/publication/KlinHTSM01"
  cites: 0
  citedby: 0
  pages: "451-463"
  booktitle: "Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings"
  editor:
  - name: "Jiri Sgall"
    link: "https://researchr.org/alias/jiri-sgall"
  - name: "Ales Pultr"
    link: "https://researchr.org/alias/ales-pultr"
  - name: "Petr Kolman"
    link: "https://researchr.org/alias/petr-kolman"
  volume: "2136"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42496-2"
  kind: "inproceedings"
  key: "KlinHTSM01"
- title: "Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables"
  author:
  - name: "Stefan Wölfl"
    link: "https://researchr.org/alias/stefan-w%C3%B6lfl"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  year: "2005"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/979"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/979"
  tags:
  - "composition"
  - "constraints"
  researchr: "https://researchr.org/publication/WolflMS05"
  cites: 0
  citedby: 0
  booktitle: "Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005"
  editor:
  - name: "Anthony G. Cohn"
    link: "https://researchr.org/alias/anthony-g.-cohn"
  - name: "Christian Freksa"
    link: "https://researchr.org/alias/christian-freksa"
  - name: "Bernhard Nebel"
    link: "https://researchr.org/alias/bernhard-nebel"
  volume: "05491"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "WolflMS05"
- title: "High-Level Nets with Nets and Rules as Tokens"
  author:
  - name: "Kathrin Hoffmann"
    link: "https://researchr.org/alias/kathrin-hoffmann"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11494744_16"
  links:
    doi: "http://dx.doi.org/10.1007/11494744_16"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/HoffmannEM05"
  cites: 0
  citedby: 0
  pages: "268-288"
  booktitle: "Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings"
  editor:
  - name: "Gianfranco Ciardo"
    link: "https://researchr.org/alias/gianfranco-ciardo"
  - name: "Philippe Darondeau"
    link: "https://researchr.org/alias/philippe-darondeau"
  volume: "3536"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26301-2"
  kind: "inproceedings"
  key: "HoffmannEM05"
- title: "Modules in Transition - Conservativity, Composition, and Colimits"
  author:
  - name: "Oliver Kutz"
    link: "https://researchr.org/alias/oliver-kutz"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2007"
  doi: "http://ceur-ws.org/Vol-315/paper5.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-315/paper5.pdf"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/KutzM07"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, Whistler, Canada, October 28, 2007"
  editor:
  - name: "Bernardo Cuenca Grau"
    link: "https://researchr.org/alias/bernardo-cuenca-grau"
  - name: "Vasant Honavar"
    link: "https://researchr.org/alias/vasant-honavar"
  - name: "Anne Schlicht"
    link: "https://researchr.org/alias/anne-schlicht"
  - name: "Frank Wolter"
    link: "https://researchr.org/alias/frank-wolter"
  volume: "315"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "KutzM07"
- title: "Development graphs - Proof management for structured specifications"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Serge Autexier"
    link: "https://researchr.org/alias/serge-autexier"
  - name: "Dieter Hutter"
    link: "https://researchr.org/alias/dieter-hutter"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jlap.2005.09.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2005.09.005"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/MossakowskiAH06"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Algebraic Programming"
  volume: "67"
  number: "1-2"
  pages: "114-145"
  kind: "article"
  key: "MossakowskiAH06"
- title: "Different Types of Arrow Between Logical Frameworks"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1996"
  researchr: "https://researchr.org/publication/Mossakowski96"
  cites: 0
  citedby: 0
  pages: "158-169"
  booktitle: "Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings"
  editor:
  - name: "Friedhelm Meyer auf der Heide"
    link: "https://researchr.org/alias/friedhelm-meyer-auf-der-heide"
  - name: "Burkhard Monien"
    link: "https://researchr.org/alias/burkhard-monien"
  volume: "1099"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61440-0"
  kind: "inproceedings"
  key: "Mossakowski96"
- title: "Combining and representing logical systems using model-theoretic parchments"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  - name: "Wieslaw Pawlowski"
    link: "https://researchr.org/alias/wieslaw-pawlowski"
  year: "1997"
  researchr: "https://researchr.org/publication/MossakowskiTP97%3A0"
  cites: 0
  citedby: 0
  pages: "349-364"
  booktitle: "Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected Papers"
  editor:
  - name: "Francesco Parisi-Presicce"
    link: "https://researchr.org/alias/francesco-parisi-presicce"
  volume: "1376"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64299-4"
  kind: "inproceedings"
  key: "MossakowskiTP97:0"
- title: "The OWL in the CASL - Designing Ontologies Across Logics"
  author:
  - name: "Oliver Kutz"
    link: "https://researchr.org/alias/oliver-kutz"
  - name: "Dominik Lücke"
    link: "https://researchr.org/alias/dominik-l%C3%BCcke"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Immanuel Normann"
    link: "https://researchr.org/alias/immanuel-normann"
  year: "2008"
  doi: "http://ceur-ws.org/Vol-432/owled2008eu_submission_27.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-432/owled2008eu_submission_27.pdf"
  tags:
  - "ontologies"
  - "ontology"
  - "logic"
  - "OWL"
  researchr: "https://researchr.org/publication/KutzLMN08"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008"
  editor:
  - name: "Catherine Dolbear"
    link: "https://researchr.org/alias/catherine-dolbear"
  - name: "Alan Ruttenberg"
    link: "https://researchr.org/alias/alan-ruttenberg"
  - name: "Ulrike Sattler"
    link: "https://researchr.org/alias/ulrike-sattler"
  volume: "432"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "KutzLMN08"
- title: "Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables"
  author:
  - name: "Stefan Wölfl"
    link: "https://researchr.org/alias/stefan-w%C3%B6lfl"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  year: "2007"
  tags:
  - "composition"
  - "constraints"
  researchr: "https://researchr.org/publication/WolflMS07"
  cites: 0
  citedby: 0
  pages: "665"
  booktitle: "Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA"
  editor:
  - name: "David Wilson"
    link: "https://researchr.org/alias/david-wilson"
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  publisher: "AAAI Press"
  isbn: "978-1-57735-319-5"
  kind: "inproceedings"
  key: "WolflMS07"
- title: "Generic Exception Handling and the Java Monad"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=443"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=443"
  tags:
  - "Java"
  - "exceptions"
  researchr: "https://researchr.org/publication/SchroderM04"
  cites: 0
  citedby: 0
  pages: "443-459"
  booktitle: "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings"
  editor:
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Savi Maharaj"
    link: "https://researchr.org/alias/savi-maharaj"
  - name: "Carron Shankland"
    link: "https://researchr.org/alias/carron-shankland"
  volume: "3116"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22381-9"
  kind: "inproceedings"
  key: "SchroderM04"
- title: "Casl Specifications of Qualitative Calculi"
  author:
  - name: "Stefan Wölfl"
    link: "https://researchr.org/alias/stefan-w%C3%B6lfl"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11556114_13"
  links:
    doi: "http://dx.doi.org/10.1007/11556114_13"
  researchr: "https://researchr.org/publication/WolflM05"
  cites: 0
  citedby: 0
  pages: "200-217"
  booktitle: "Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings"
  editor:
  - name: "Anthony G. Cohn"
    link: "https://researchr.org/alias/anthony-g.-cohn"
  - name: "David M. Mark"
    link: "https://researchr.org/alias/david-m.-mark"
  volume: "3693"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28964-X"
  kind: "inproceedings"
  key: "WolflM05"
- title: "Towards a Coalgebraic Semantics of the Ambient Calculus"
  author:
  - name: "Daniel Hausmann"
    link: "https://researchr.org/alias/daniel-hausmann"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11548133_15"
  links:
    doi: "http://dx.doi.org/10.1007/11548133_15"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/HausmannMS05"
  cites: 0
  citedby: 0
  pages: "232-246"
  booktitle: "Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Neil Harman"
    link: "https://researchr.org/alias/neil-harman"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Jan J. M. M. Rutten"
    link: "https://researchr.org/alias/jan-j.-m.-m.-rutten"
  volume: "3629"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28620-9"
  kind: "inproceedings"
  key: "HausmannMS05"
- title: "Translationg OBJ3 into CASL: The Institution Level"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890198.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890198.htm"
  researchr: "https://researchr.org/publication/Mossakowski98"
  cites: 0
  citedby: 0
  pages: "198-215"
  booktitle: "Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT  98, Lisbon, Portugal, April 2-4, 1998, Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  volume: "1589"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66246-4"
  kind: "inproceedings"
  key: "Mossakowski98"
- title: "Specifications in an Arbitrary Institution with Symbols"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1999"
  researchr: "https://researchr.org/publication/Mossakowski99"
  cites: 0
  citedby: 0
  pages: "252-270"
  booktitle: "Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT  99, Château de Bonas, France, September 15-18, 1999, Selected Papers"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Christine Choppy"
    link: "https://researchr.org/alias/christine-choppy"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  volume: "1827"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67898-0"
  kind: "inproceedings"
  key: "Mossakowski99"
- title: "A Generic Complete Dynamic Logic for Reasoning About Purity and Effects"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Sergey Goncharov"
    link: "https://researchr.org/alias/sergey-goncharov"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_15"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/MossakowskiSG08"
  cites: 0
  citedby: 0
  pages: "199-214"
  booktitle: "Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Paola Inverardi"
    link: "https://researchr.org/alias/paola-inverardi"
  volume: "4961"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78742-6"
  kind: "inproceedings"
  key: "MossakowskiSG08"
- title: "Monad-Based Logics for Computational Effects"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11784180_3"
  links:
    doi: "http://dx.doi.org/10.1007/11784180_3"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/Mossakowski06"
  cites: 0
  citedby: 0
  pages: "3-4"
  booktitle: "Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings"
  editor:
  - name: "Michael Johnson"
    link: "https://researchr.org/alias/michael-johnson"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  volume: "4019"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35633-9"
  kind: "inproceedings"
  key: "Mossakowski06"
- title: "Relating CASL with other specification languages: the institution level"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  researchr: "https://researchr.org/publication/Mossakowski02"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "286"
  number: "2"
  pages: "367-475"
  kind: "article"
  key: "Mossakowski02"
- title: "HasCasl: Integrated higher-order specification and program development"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.11.020"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2008.11.020"
  researchr: "https://researchr.org/publication/SchroderM09"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "410"
  number: "12-13"
  pages: "1217-1260"
  kind: "article"
  key: "SchroderM09"
- title: "A coalgebraic approach to the semantics of the ambient calculus"
  author:
  - name: "Daniel Hausmann"
    link: "https://researchr.org/alias/daniel-hausmann"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.07.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.07.006"
  tags:
  - "semantics"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HausmannMS06"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "366"
  number: "1-2"
  pages: "121-143"
  kind: "article"
  key: "HausmannMS06"
- title: "Integrating HOL-CASL into the Development Graph Manager MAYA"
  author:
  - name: "Serge Autexier"
    link: "https://researchr.org/alias/serge-autexier"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2309/23090002.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2309/23090002.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AutexierM02"
  cites: 0
  citedby: 0
  pages: "2-17"
  booktitle: "Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings"
  editor:
  - name: "Alessandro Armando"
    link: "https://researchr.org/alias/alessandro-armando"
  volume: "2309"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43381-3"
  kind: "inproceedings"
  key: "AutexierM02"
- title: "Semantics of Architectural Specifications in CASL"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  - name: "Bartek Klin"
    link: "https://researchr.org/alias/bartek-klin"
  - name: "Piotr Hoffman"
    link: "https://researchr.org/alias/piotr-hoffman"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290253.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290253.htm"
  tags:
  - "semantics"
  - "architecture"
  researchr: "https://researchr.org/publication/SchroderMTKH01"
  cites: 0
  citedby: 0
  pages: "253-268"
  booktitle: "Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Heinrich Hußmann"
    link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann"
  volume: "2029"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41863-6"
  kind: "inproceedings"
  key: "SchroderMTKH01"
- title: "Higher-Order Nets for Mobile Policies"
  author:
  - name: "Kathrin Hoffmann"
    link: "https://researchr.org/alias/kathrin-hoffmann"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Francesco Parisi-Presicce"
    link: "https://researchr.org/alias/francesco-parisi-presicce"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.007"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/HoffmannMP05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "127"
  number: "2"
  pages: "87-105"
  kind: "article"
  key: "HoffmannMP05"
- title: "The Heterogeneous Tool Set (Hets)"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Christian Maeder"
    link: "https://researchr.org/alias/christian-maeder"
  - name: "Klaus Lüttich"
    link: "https://researchr.org/alias/klaus-l%C3%BCttich"
  year: "2007"
  doi: "http://ceur-ws.org/Vol-259/paper11.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-259/paper11.pdf"
  researchr: "https://researchr.org/publication/MossakowskiML07"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007"
  editor:
  - name: "Bernhard Beckert"
    link: "https://researchr.org/alias/bernhard-beckert"
  volume: "259"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "MossakowskiML07"
- title: "Completeness of Global Evaluation Logic"
  author:
  - name: "Sergey Goncharov"
    link: "https://researchr.org/alias/sergey-goncharov"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11821069_39"
  links:
    doi: "http://dx.doi.org/10.1007/11821069_39"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/GoncharovSM06"
  cites: 0
  citedby: 0
  pages: "447-458"
  booktitle: "Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings"
  editor:
  - name: "Rastislav Kralovic"
    link: "https://researchr.org/alias/rastislav-kralovic"
  - name: "Pawel Urzyczyn"
    link: "https://researchr.org/alias/pawel-urzyczyn"
  volume: "4162"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37791-3"
  kind: "inproceedings"
  key: "GoncharovSM06"
- title: "Equivalences among Various Logical Frameworks of Partial Algebras"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1995"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Mossakoski95"
  cites: 0
  citedby: 0
  pages: "403-433"
  booktitle: "Computer Science Logic, 9th International Workshop, CSL  95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers"
  editor:
  - name: "Hans Kleine Büning"
    link: "https://researchr.org/alias/hans-kleine-b%C3%BCning"
  volume: "1092"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61377-3"
  kind: "inproceedings"
  key: "Mossakoski95"
- title: "The Development Graph Manager MAYA"
  author:
  - name: "Serge Autexier"
    link: "https://researchr.org/alias/serge-autexier"
  - name: "Dieter Hutter"
    link: "https://researchr.org/alias/dieter-hutter"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Axel Schairer"
    link: "https://researchr.org/alias/axel-schairer"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220495.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220495.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AutexierHMS02"
  cites: 0
  citedby: 0
  pages: "495-501"
  booktitle: "Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings"
  editor:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  - name: "Christophe Ringeissen"
    link: "http://www.loria.fr/~ringeiss/"
  volume: "2422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44144-1"
  kind: "inproceedings"
  key: "AutexierHMS02"
- title: "Specifying Real Numbers in CASL"
  author:
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1999"
  researchr: "https://researchr.org/publication/RoggenbachSM99"
  cites: 0
  citedby: 0
  pages: "146-161"
  booktitle: "Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT  99, Château de Bonas, France, September 15-18, 1999, Selected Papers"
  editor:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Christine Choppy"
    link: "https://researchr.org/alias/christine-choppy"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  volume: "1827"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67898-0"
  kind: "inproceedings"
  key: "RoggenbachSM99"
- title: "Comorphism-Based Grothendieck Logics"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2420/24200593.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2420/24200593.htm"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/Mossakowski02%3A1"
  cites: 0
  citedby: 0
  pages: "593-604"
  booktitle: "Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings"
  editor:
  - name: "Krzysztof Diks"
    link: "https://researchr.org/alias/krzysztof-diks"
  - name: "Wojciech Rytter"
    link: "https://researchr.org/alias/wojciech-rytter"
  volume: "2420"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44040-2"
  kind: "inproceedings"
  key: "Mossakowski02:1"
- title: "Amalgamation in CASL via Enriched Signatures"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2076/20760993.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2076/20760993.htm"
  researchr: "https://researchr.org/publication/SchroderMT01"
  cites: 0
  citedby: 0
  pages: "993-1004"
  booktitle: "Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings"
  editor:
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  - name: "Paul G. Spirakis"
    link: "https://researchr.org/alias/paul-g.-spirakis"
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  volume: "2076"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42287-0"
  kind: "inproceedings"
  key: "SchroderMT01"
- title: "Heterogeneous Development Graphs and Heterogeneous Borrowing"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2303/23030326.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2303/23030326.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Mossakowski02%3A0"
  cites: 0
  citedby: 0
  pages: "326-341"
  booktitle: "Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings"
  editor:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Uffe Engberg"
    link: "https://researchr.org/alias/uffe-engberg"
  volume: "2303"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43366-X"
  kind: "inproceedings"
  key: "Mossakowski02:0"
- title: "Casl - The Common Algebraic Specification Language: Semantics and Proof Theory"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Anne Elisabeth Haxthausen"
    link: "https://researchr.org/alias/anne-elisabeth-haxthausen"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2003"
  tags:
  - "semantics"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/MossakowskiHST03"
  cites: 0
  citedby: 0
  journal: "Computers and Artificial Intelligence"
  volume: "22"
  number: "3"
  pages: "285-321"
  kind: "article"
  key: "MossakowskiHST03"
- title: "Conservativity in Structured Ontologies"
  author:
  - name: "Oliver Kutz"
    link: "https://researchr.org/alias/oliver-kutz"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2008"
  doi: "http://dx.doi.org/10.3233/978-1-58603-891-5-89"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-58603-891-5-89"
  tags:
  - "ontologies"
  - "ontology"
  researchr: "https://researchr.org/publication/KutzM08"
  cites: 0
  citedby: 0
  pages: "89-93"
  booktitle: "ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings"
  editor:
  - name: "Malik Ghallab"
    link: "https://researchr.org/alias/malik-ghallab"
  - name: "Constantine D. Spyropoulos"
    link: "https://researchr.org/alias/constantine-d.-spyropoulos"
  - name: "Nikos Fakotakis"
    link: "https://researchr.org/alias/nikos-fakotakis"
  - name: "Nikolaos M. Avouris"
    link: "https://researchr.org/alias/nikolaos-m.-avouris"
  volume: "178"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-891-5"
  kind: "inproceedings"
  key: "KutzM08"
- title: "CASL: From Semantics to Tools"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1785/17850093.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1785/17850093.htm"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Mossakowski00"
  cites: 0
  citedby: 0
  pages: "93-108"
  booktitle: "Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi"
  editor:
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "1785"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67282-6"
  kind: "inproceedings"
  key: "Mossakowski00"
- title: "Algebraic-Coalgebraic Specification in Co Casl"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Horst Reichel"
    link: "https://researchr.org/alias/horst-reichel"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=376"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=376"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/MossakowskiRRS02"
  cites: 0
  citedby: 0
  pages: "376-392"
  booktitle: "Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Dirk Pattinson"
    link: "https://researchr.org/alias/dirk-pattinson"
  - name: "Rolf Hennicker"
    link: "https://researchr.org/alias/rolf-hennicker"
  volume: "2755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20537-3"
  kind: "inproceedings"
  key: "MossakowskiRRS02"
- title: "Institutional 2-cells and Grothendieck Institutions"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11780274_7"
  links:
    doi: "http://dx.doi.org/10.1007/11780274_7"
  researchr: "https://researchr.org/publication/Mossakowski06%3A0"
  cites: 0
  citedby: 0
  pages: "124-149"
  booktitle: "Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday"
  editor:
  - name: "Kokichi Futatsugi"
    link: "https://researchr.org/alias/kokichi-futatsugi"
  - name: "Jean-Pierre Jouannaud"
    link: "https://researchr.org/alias/jean-pierre-jouannaud"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  volume: "4060"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35462-X"
  kind: "inproceedings"
  key: "Mossakowski06:0"
- title: "Amalgamation in the semantics of CASL"
  author:
  - name: "Lutz Schröder"
    link: "https://researchr.org/alias/lutz-schr%C3%B6der"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  - name: "Bartek Klin"
    link: "https://researchr.org/alias/bartek-klin"
  - name: "Piotr Hoffman"
    link: "https://researchr.org/alias/piotr-hoffman"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.09.037"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.09.037"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/SchroderMTKH05"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "331"
  number: "1"
  pages: "215-247"
  kind: "article"
  key: "SchroderMTKH05"
- title: "Colimits of order-sorted specifications"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1997"
  researchr: "https://researchr.org/publication/Mossakowski97"
  cites: 0
  citedby: 0
  pages: "316-332"
  booktitle: "Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected Papers"
  editor:
  - name: "Francesco Parisi-Presicce"
    link: "https://researchr.org/alias/francesco-parisi-presicce"
  volume: "1376"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64299-4"
  kind: "inproceedings"
  key: "Mossakowski97"
- title: "Heterogeneous Theories and the Heterogeneous Tool Set"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "2005"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2005/43"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2005/43"
  researchr: "https://researchr.org/publication/Mossakowski05"
  cites: 0
  citedby: 0
  booktitle: "Semantic Interoperability and Integration"
  editor:
  - name: "Yannis Kalfoglou"
    link: "https://researchr.org/alias/yannis-kalfoglou"
  - name: "W. Marco Schorlemmer"
    link: "https://researchr.org/alias/w.-marco-schorlemmer"
  - name: "Amit P. Sheth"
    link: "https://researchr.org/alias/amit-p.-sheth"
  - name: "Steffen Staab"
    link: "https://researchr.org/alias/steffen-staab"
  - name: "Michael Uschold"
    link: "https://researchr.org/alias/michael-uschold"
  volume: "04391"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "IBFI, Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "Mossakowski05"
- title: "Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras"
  author:
  - name: "Hans-Jörg Kreowski"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski"
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  year: "1995"
  tags:
  - "rule-based"
  - " algebra"
  - "logic"
  researchr: "https://researchr.org/publication/KreowskiM95"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "5"
  number: "2"
  pages: "189-215"
  kind: "article"
  key: "KreowskiM95"
- title: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings"
  year: "2007"
  tags:
  - "e-science"
  - " algebra"
  researchr: "https://researchr.org/publication/calco%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings"
  conference: "calco"
  editor:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  volume: "4624"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73857-2"
  kind: "proceedings"
  key: "calco:2007"