State-Based Extension of CASL

This publication has 8 references indexed in Scilit:

• From static to dynamic abstract data-types: an institution transformation
  Theoretical Computer Science, 1999
• From Total Equational to Partial First-Order Logic
  Published by Springer Nature ,1999
• Dynamic Systems with Implicit State
  Published by Springer Nature ,1999
• Transition Specifications for Dynamic Abstract Data Types
  Applied Categorical Structures, 1997
• From static to dynamic abstract data-types
  Published by Springer Nature ,1996
• D-oids: a model for dynamic data-types
  Mathematical Structures in Computer Science, 1995
• Relations as abstract datatypes: An institution to specify relations between algebras
  Published by Springer Nature ,1995
• A Semantic Model for Dynamic Systems
  Published by Springer Nature ,1993