Jaume Agusto-Cullell
Francesc Esteva
Pere Garcia
Lluis Godo
1990
Formalizing Multiple-Valued Logics as Institutions
B. Bouchon-Meunier
R. Yager
L. A. Zadeh
Uncertainty in Knowledge Bases, IPMU 90
Lect Notes in Computer Science (512)
Springer
269–278
10.1007/BFb0028112
Rod Burstall
Razvan Diaconescu
1994
Hiding and behaviour: an institutional approach
W. Roscoe
A Classical Mind: Essays in Honour of C.A.R. Hoare
Prentice-Hall
75–92
Michel Bidoit
Rolf Hennicker
2006
Constructor-based observational logic
J. Log. Algebr. Program.
67
1-2
3–51
10.1016/j.jlap.2005.09.002
Christoph Beierle
Gabriele Kern-Isberner
2002
Looking at Probabilistic Conditionals from an Institutional Point of View
WCII
162–179
10.1007/11408017_10
Torben Brauner
2010
Hybrid Logic and its Proof-Theory
Applied Logic Series
Springer
Egon Börger
Robert F. Stärk
2003
Abstract State Machines. A Method for High-Level System Design and Analysis
Springer
10.1007/978-3-642-18216-7
Corina Cîrstea
2006
An institution of modal logics for coalgebras
J. Log. Algebr. Program.
67
1-2
87–113
10.1016/j.jlap.2005.09.004
Balder David ten Cate
2005
Model Theory for Extended Modal Languages
Ph.d. thesis
Institute for Logic, Language and Computation Universiteit van Amsterdam
Carlos Caleiro
Paulo Mateus
Amílcar Sernadas
Cristina Sernadas
2006
Quantum Institutions
K. Futatsugi
J.-P. Jouannaud
J. Meseguer
Essays Dedicated to Joseph A. Goguen
Lecture Notes in Computer Science (4060)
50–64
10.1007/11780274_4
Razvan Diaconescu
2008
Institution-independent Model Theory
Birkhauser Basel
Razvan Diaconescu
2011
On quasi-varieties of multiple valued logic models
Math. Log. Q.
57
2
10.1002/malq.200910131
Razvan Diaconescu
Alexandre Madeira
Encoding Hybridized Institutions into First Order Logic
Submited to a journal
Joseph A. Goguen
Rod M. Burstall
1992
Institutions: Abstract Model Theory for Specification and Programming
J. ACM
39
1
10.1145/147508.147524
Siegfried Gottwald
2001
A Treatise on Many-Valued Logics
Studies in Logic and Computation, vol 9
Research Studies Press: Baldock, Hertfordshire, England
G. Grätzer
1979
Universal Algebra (2nd ed)
Springer-Verlag
Wilfrid Hodges
1997
A shorter model theory
Cambridge University Press
New York, NY, USA
Saunders Mac Lane
1971
Categories for the Working Mathematician
Graduate Texts in Mathematics
5
Springer-Verlag
10.1007/978-1-4612-9839-7
Alexandre Madeira
2013 (to appear)
Foundations and techniques for software reconfigurability
Ph.d. thesis
Minho and Aveiro Universities (Joint MAP-i Doctoral Programme)
Alexandre Madeira
José M. Faria
Manuel A. Martins
Luís Soares Barbosa
2011
Hybrid Specification of Reactive Systems: An Institutional Approach
G. Barthe
A. Pardo
G. Schneider
Proc. 9th Inter. Conf. Software Engineering and Formal Methods (SEFM 2011)
Lect Notes in Computer Science (7041)
Springer
269–285
10.1007/978-3-642-24690-6_19
Manuel A. Martins
Alexandre Madeira
Razvan Diaconescu
Luís Soares Barbosa
2011
Hybridization of Institutions
A. Corradini
B. Klin
C. Cîrstea
Proc. 4th International Conf. on Algebra and Coalgebra in Computer Science (CALCO 2011)
Lect Notes in Computer Science (6859)
Springer
283–297
10.1007/978-3-642-22944-2_20
Till Mossakowski
Markus Roggenbach
2007
Structured CSP: a process algebra as an institution
Proc. 18th Inter. Conf. on Recent trends in algebraic development techniques
WADT'06
Springer-Verlag
Berlin, Heidelberg
92–110
10.1007/978-3-540-71998-4_6
D. Park
1981
Concurrency and Automata on Infinite Sequences
P. Deussen
Proc. Conf. on Theoretical Computer Science
Springer Lect. Notes Comp. Sci. (104)
167–183
10.1007/BFb0017309
Lutz Schröder
Till Mossakowski
2009
HasCasl: Integrated higher-order specification and program development
Theor. Comput. Sci.
410
12-13
10.1016/j.tcs.2008.11.020
Donald Sannella
Andrzej Tarlecki
2012
Foundations of Algebraic Specification and Formal Software Development
EATCS Monographs on theoretical computer science
Springer
10.1007/978-3-642-17336-3