Stem casl$ (all stems)

7 papers:

SAC-2010-ChoppyR #approach #modelling

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation) (CC, GR), pp. 2451–2458.

FASE-2005-HausmannMS #higher-order #induction

Iterative Circular Coinduction for CoCasl in Isabelle/HOL (DH, TM, LS), pp. 341–356.

FASE-2001-SchroderMTKH #architecture #semantics #specification

Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.

ICALP-2001-SchroderMT

Amalgamation in CASL via Enriched Signatures (LS, TM, AT), pp. 993–1004.

TACAS-2000-Mossakowski #named #semantics #tool support

CASL: From Semantics to Tools (TM), pp. 93–108.

IFM-2000-BaumeisterZ

State-Based Extensions of CASL (HB, AVZ), pp. 3–24.

ASF+SDF-1997-Mosses #asf+sdf

CASL for ASF+SDF users (PDM), p. 12.