Presentations for abstract context institutionsPAWLOWSKI, Wieslaw.Lecture notes in computer science. 2002, pp 256-279, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Equality of streams is a Π⁰2-complete problemROSU, Grigore.ACM SIGPLAN notices. 2006, Vol 41, Num 9, pp 184-191, issn 1523-2867, 8 p.Conference Paper

CafeOBJ: Logical foundations and methodologiesDIACONESCU, Razvan; FUTATSUGI, Kokichi; OGATA, Kazuhiro et al.Computing and informatics. 2003, Vol 22, Num 3-4, pp 257-283, issn 1335-9150, 27 p.Article

From specifications to code in CASLASPINALL, David; SANNELLA, Donald.Lecture notes in computer science. 2002, pp 1-14, issn 0302-9743, isbn 3-540-44144-1, 14 p.Conference Paper

Algebra-coalgebra structures and bialgebrasNAKAGAWA, Ataru T.Lecture notes in computer science. 2000, pp 329-347, issn 0302-9743, isbn 3-540-67898-0Conference Paper

The Lübeck Transformation System: A transformation system for equational higher order algebraic specificationsDOSCH, Walter; MAGNUSSEN, Sönke.Lecture notes in computer science. 2002, pp 85-108, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Contextual rewriting as a sound and complete proof method for conditional LOG-specificationsNAVARRO, M; OREJAS, F; REMY, J.-L et al.Acta informatica. 1993, Vol 30, Num 2, pp 147-180, issn 0001-5903Article

Cryptomorphisms at workCALEIRO, Carlos; RAMOS, Jaime.Lecture notes in computer science. 2005, pp 45-60, issn 0302-9743, isbn 3-540-25327-0, 16 p.Conference Paper

CASL - The common algebraic specification language: Semantics and proof theoryMOSSAKOWSKI, Till; HAXTHAUSEN, Anne E; SANNELLA, Donald et al.Computing and informatics. 2003, Vol 22, Num 3-4, pp 285-321, issn 1335-9150, 37 p.Article

Development of parsing tools for CASL using generic Language technologyVAN DEN BRAND, M; SCHEERDER, J.Report - Software engineering. 2000, Num 11, pp 1-14, issn 1386-369XArticle

Towards trustworthy specifications. I: Consistency checksROGGENBACH, Markus; SCHRÖDER, Lutz.Lecture notes in computer science. 2002, pp 305-327, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Observational proofs with critical contextsBERREGEB, N; BOUHOULA, A; RUSINOWITCH, M et al.Lecture notes in computer science. 1998, pp 38-53, issn 0302-9743, isbn 3-540-64303-6Conference Paper

A relational division operator: the conjugate kernelDESHARNAIS, J; ALI JAOUA; MILI, F et al.Theoretical computer science. 1993, Vol 114, Num 2, pp 247-272, issn 0304-3975Article

Quantifier-free logic for nondeterministic theoriesLAMO, Yngve; WALICKI, Michal.Theoretical computer science. 2006, Vol 355, Num 2, pp 215-227, issn 0304-3975, 13 p.Article

Structural induction in institutionsDIACONESCU, Răzvan.Information and computation (Print). 2011, Vol 209, Num 9, pp 1197-1222, issn 0890-5401, 26 p.Article

Behavioural specification for hierarchical object compositionDIACONESCU, Razvan.Theoretical computer science. 2005, Vol 343, Num 3, pp 305-331, issn 0304-3975, 27 p.Conference Paper

A simple refinement language for CASLMOSSAKOWSKI, Till; SANNELLA, Donald; TARLECKI, Andrzej et al.Lecture notes in computer science. 2005, pp 162-185, issn 0302-9743, isbn 3-540-25327-0, 24 p.Conference Paper

CASL syntax: The CoFI Language Design GroupKRIEG-BRÜCKNER, Bernd; MOSSES, Peter D.CASL reference manual : the Complete Documentation of the Common Algebraic Specification Language. Lecture notes in computer science. 2004, pp B-111, issn 0302-9743, isbn 3-540-21301-5Book Chapter

Guarded transitions in evolving specificationsPAVLOVIC, Dusko; SMITH, Douglas R.Lecture notes in computer science. 2002, pp 411-425, issn 0302-9743, isbn 3-540-44144-1, 15 p.Conference Paper

Requirement oriented programming concepts, implications, and algorithmsMUSSER, David; SCHUPP, Sibylle; LOOS, Riidiger et al.Lecture notes in computer science. 2000, pp 12-24, issn 0302-9743, isbn 3-540-41090-2Conference Paper

Reasoning about classes in object-oriented languages : Logical models and toolsHENSEL, U; HUISMAN, M; JACOBS, B et al.Lecture notes in computer science. 1998, pp 105-121, issn 0302-9743, isbn 3-540-64302-8Conference Paper

Elementary Algebraic Specifications of the Rational Complex NumbersBERGSTRA, Jan A; TUCKER, John V.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 459-475, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 17 p.Book Chapter

Discovering algebraic specifications from Java classesHENKEL, Johannes; DIWAN, Amer.Lecture notes in computer science. 2003, pp 431-456, issn 0302-9743, isbn 3-540-40531-3, 26 p.Conference Paper

Zero, Connected, empty: An essay after a cantataGOGUEN, Joseph A; GOGUEN, Ryoko A.Lecture notes in computer science. 2003, pp 127-128, issn 0302-9743, isbn 3-540-20537-3, 2 p.Conference Paper

Canonical institutions of behaviourCOSTA, J. Félix; LOURENCO, H.Lecture notes in computer science. 2002, pp 71-84, issn 0302-9743, isbn 3-540-43159-4Conference Paper