Relating CASL with other specification languages: the institution level. Zbl 1061.68106
Mossakowski, Till |
|
2002
|
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian |
|
2011
|
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej |
|
2009
|
Comorphism-based Grothendieck logics. Zbl 1014.68098
Mossakowski, Till |
|
2002
|
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej |
|
2005
|
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter |
|
2006
|
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver |
|
2015
|
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till |
|
2005
|
HasCasl: integrated higher-order specification and program development. Zbl 1172.68040
Schröder, Lutz; Mossakowski, Till |
|
2009
|
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik |
|
2010
|
Monad-independent dynamic logic in HasCasl. Zbl 1064.03022
Schröder, Lutz; Mossakowski, Till |
|
2004
|
Foundations of heterogeneous specification. Zbl 1278.68208
Mossakowski, Till |
|
2003
|
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina |
|
2012
|
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus |
|
2007
|
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till |
|
2009
|
Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379
Mossakowski, Till; Kutz, Oliver; Lange, Christoph |
|
2013
|
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej |
|
2003
|
Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz |
|
2005
|
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej |
|
2009
|
HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054
Schröder, Lutz; Mossakowski, Till |
|
2002
|
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang |
|
2013
|
Colimits of order-sorted specifications. Zbl 0902.18002
Mossakowski, Till |
|
1998
|
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr |
|
2005
|
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław |
|
1997
|
From total equational to partial first-order logic. Zbl 0949.03028
Cerioli, Maura; Mossakowski, Till; Reichel, Horst |
|
1999
|
Integrating HOL-CASL into the development graph manager MAYA. Zbl 1057.68678
Autexier, Serge; Mossakowski, Till |
|
2002
|
CASL: From semantics to tools. Zbl 0971.68589
Mossakowski, Till |
|
2000
|
Specifications in an arbitrary instituion with symbols. Zbl 0966.68136
Mossakowski, Till |
|
2000
|
Different types of arrow between logical frameworks. Zbl 1046.68509
Mossakowski, Till |
|
1996
|
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst |
|
2006
|
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej |
|
2007
|
Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229
Mossakowski, Till; Moratz, Reinhard |
|
2012
|
What Is a derived signature morphism? Zbl 1472.68097
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom |
|
2015
|
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus |
|
2013
|
Permissive subsorted partial logic in CASL. Zbl 0886.03022
Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till |
|
1997
|
Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080
Kreowski, Hans-Jörg; Mossakowski, Till |
|
1995
|
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław |
|
1998
|
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej |
|
2005
|
Type class polymorphism in an institutional framework. Zbl 1118.68562
Schröder, Lutz; Mossakowski, Till; Lüth, Christoph |
|
2005
|
Monad-independent Hoare logic in HasCasl. Zbl 1032.03029
Schröder, Lutz; Mossakowski, Till |
|
2003
|
Generic exception handling and the Java monad. Zbl 1108.68411
Schröder, Lutz; Mossakowski, Till |
|
2004
|
Extending development graphs with hiding. Zbl 0977.68657
Mossakowski, Till; Autexier, Serge; Hutter, Dieter |
|
2001
|
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz |
|
2003
|
Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146
O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus |
|
2012
|
Multi-view consistency in UML: a survey. Zbl 1383.68024
Knapp, Alexander; Mossakowski, Till |
|
2018
|
Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus |
|
2015
|
UML interactions meet state machines – an institutional approach. Zbl 1433.68097
Knapp, Alexander; Mossakowski, Till |
|
2017
|
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej |
|
2014
|
Subsorted partial higher-order logic as an extension of CASL. Zbl 0966.68138
Mossakowski, Till; Haxthausen, Anne; Krieg-Brückner, Bernd |
|
2000
|
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till |
|
2000
|
Heterogeneous development graphs and heterogeneous borrowing. Zbl 1077.68609
Mossakowski, Till |
|
2002
|
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr |
|
2001
|
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till |
|
2006
|
A coalgebraic approach to the semantics of the ambient calculus. Zbl 1154.68088
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz |
|
2006
|
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey |
|
2010
|
Equivalences among various logical frameworks of partial algebras. Zbl 1540.68139
Mossakowski, Till |
|
1996
|
Relations between spatial calculi about directions and orientations. Zbl 1343.68227
Mossakowski, Till; Moratz, Reinhard |
|
2015
|
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej |
|
2001
|
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278
Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till |
|
2011
|
Institutional 2-cells and Grothendieck institutions. Zbl 1132.68488
Mossakowski, Till |
|
2006
|
Reasoning support for CASL with automated theorem proving systems. Zbl 1196.68147
Lüttich, Klaus; Mossakowski, Till |
|
2007
|
Algebraic higher-order nets: graphs and Petri nets as tokens. Zbl 1278.68215
Hoffmann, Kathrin; Mossakowski, Till |
|
2003
|
Integrating Maude into Hets. Zbl 1308.68075
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian |
|
2011
|
Canonical selection of colimits. Zbl 1496.68203
Mossakowski, Till; Rabe, Florian; Codescu, Mihai |
|
2017
|
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian |
|
2013
|
The institution-theoretic scope of logic theorems. Zbl 1338.03073
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej |
|
2014
|
Algebra \(\cup\) Topology. Zbl 0748.18002
Herrlich, Horst; Mossakowski, T.; Strecker, George E. |
|
1991
|
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till |
|
2001
|
Parametrized exceptions. Zbl 1151.68379
Walter, Dennis; Schröder, Lutz; Mossakowski, Till |
|
2005
|
Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007
|
|
2007
|
Monad-independent dynamic logic in HasCasl. Zbl 1278.68061
Schröder, Lutz; Mossakowski, Till |
|
2003
|
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian |
|
2012
|
Multi-view consistency in UML: a survey. Zbl 1383.68024
Knapp, Alexander; Mossakowski, Till |
|
2018
|
UML interactions meet state machines – an institutional approach. Zbl 1433.68097
Knapp, Alexander; Mossakowski, Till |
|
2017
|
Canonical selection of colimits. Zbl 1496.68203
Mossakowski, Till; Rabe, Florian; Codescu, Mihai |
|
2017
|
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver |
|
2015
|
What Is a derived signature morphism? Zbl 1472.68097
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom |
|
2015
|
Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus |
|
2015
|
Relations between spatial calculi about directions and orientations. Zbl 1343.68227
Mossakowski, Till; Moratz, Reinhard |
|
2015
|
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej |
|
2014
|
The institution-theoretic scope of logic theorems. Zbl 1338.03073
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej |
|
2014
|
Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379
Mossakowski, Till; Kutz, Oliver; Lange, Christoph |
|
2013
|
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang |
|
2013
|
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus |
|
2013
|
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian |
|
2013
|
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina |
|
2012
|
Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229
Mossakowski, Till; Moratz, Reinhard |
|
2012
|
Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146
O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus |
|
2012
|
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian |
|
2012
|
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian |
|
2011
|
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278
Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till |
|
2011
|
Integrating Maude into Hets. Zbl 1308.68075
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian |
|
2011
|
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik |
|
2010
|
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey |
|
2010
|
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej |
|
2009
|
HasCasl: integrated higher-order specification and program development. Zbl 1172.68040
Schröder, Lutz; Mossakowski, Till |
|
2009
|
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till |
|
2009
|
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej |
|
2009
|
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus |
|
2007
|
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej |
|
2007
|
Reasoning support for CASL with automated theorem proving systems. Zbl 1196.68147
Lüttich, Klaus; Mossakowski, Till |
|
2007
|
Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007
|
|
2007
|
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter |
|
2006
|
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst |
|
2006
|
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till |
|
2006
|
A coalgebraic approach to the semantics of the ambient calculus. Zbl 1154.68088
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz |
|
2006
|
Institutional 2-cells and Grothendieck institutions. Zbl 1132.68488
Mossakowski, Till |
|
2006
|
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej |
|
2005
|
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till |
|
2005
|
Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz |
|
2005
|
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr |
|
2005
|
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej |
|
2005
|
Type class polymorphism in an institutional framework. Zbl 1118.68562
Schröder, Lutz; Mossakowski, Till; Lüth, Christoph |
|
2005
|
Parametrized exceptions. Zbl 1151.68379
Walter, Dennis; Schröder, Lutz; Mossakowski, Till |
|
2005
|
Monad-independent dynamic logic in HasCasl. Zbl 1064.03022
Schröder, Lutz; Mossakowski, Till |
|
2004
|
Generic exception handling and the Java monad. Zbl 1108.68411
Schröder, Lutz; Mossakowski, Till |
|
2004
|
Foundations of heterogeneous specification. Zbl 1278.68208
Mossakowski, Till |
|
2003
|
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej |
|
2003
|
Monad-independent Hoare logic in HasCasl. Zbl 1032.03029
Schröder, Lutz; Mossakowski, Till |
|
2003
|
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz |
|
2003
|
Algebraic higher-order nets: graphs and Petri nets as tokens. Zbl 1278.68215
Hoffmann, Kathrin; Mossakowski, Till |
|
2003
|
Monad-independent dynamic logic in HasCasl. Zbl 1278.68061
Schröder, Lutz; Mossakowski, Till |
|
2003
|
Relating CASL with other specification languages: the institution level. Zbl 1061.68106
Mossakowski, Till |
|
2002
|
Comorphism-based Grothendieck logics. Zbl 1014.68098
Mossakowski, Till |
|
2002
|
HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054
Schröder, Lutz; Mossakowski, Till |
|
2002
|
Integrating HOL-CASL into the development graph manager MAYA. Zbl 1057.68678
Autexier, Serge; Mossakowski, Till |
|
2002
|
Heterogeneous development graphs and heterogeneous borrowing. Zbl 1077.68609
Mossakowski, Till |
|
2002
|
Extending development graphs with hiding. Zbl 0977.68657
Mossakowski, Till; Autexier, Serge; Hutter, Dieter |
|
2001
|
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr |
|
2001
|
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej |
|
2001
|
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till |
|
2001
|
CASL: From semantics to tools. Zbl 0971.68589
Mossakowski, Till |
|
2000
|
Specifications in an arbitrary instituion with symbols. Zbl 0966.68136
Mossakowski, Till |
|
2000
|
Subsorted partial higher-order logic as an extension of CASL. Zbl 0966.68138
Mossakowski, Till; Haxthausen, Anne; Krieg-Brückner, Bernd |
|
2000
|
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till |
|
2000
|
From total equational to partial first-order logic. Zbl 0949.03028
Cerioli, Maura; Mossakowski, Till; Reichel, Horst |
|
1999
|
Colimits of order-sorted specifications. Zbl 0902.18002
Mossakowski, Till |
|
1998
|
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław |
|
1998
|
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław |
|
1997
|
Permissive subsorted partial logic in CASL. Zbl 0886.03022
Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till |
|
1997
|
Different types of arrow between logical frameworks. Zbl 1046.68509
Mossakowski, Till |
|
1996
|
Equivalences among various logical frameworks of partial algebras. Zbl 1540.68139
Mossakowski, Till |
|
1996
|
Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080
Kreowski, Hans-Jörg; Mossakowski, Till |
|
1995
|
Algebra \(\cup\) Topology. Zbl 0748.18002
Herrlich, Horst; Mossakowski, T.; Strecker, George E. |
|
1991
|