Abstract | ||
---|---|---|
Abstract: We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatypes and coalgebraic process types. Moreover, it provides syntactic sugar for an observer-indexed modal logic that allows e.g. expressing fairness properties. This logic includes a generic definition of modal operators for observers with structured equational result types. We prove existence of final models for... |
Year | Venue | DocType |
---|---|---|
2002 | WADT | Conference |
Citations | PageRank | References |
2 | 0.37 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Till Mossakowski | 1 | 1052 | 90.11 |
Horst Reichel | 2 | 260 | 32.02 |
Markus Roggenbach | 3 | 294 | 32.63 |
Lutz Schröder | 4 | 597 | 64.16 |