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