CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the ...
In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Techni...
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Co...
This volume presents the proceedings of the Sixth International Joint Conference on the Theory an...
In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Techni...
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Co...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic...
Action Semantics is a novel approach to the formal description of programming languages. Its abst...
The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod...