Heterogeneous specification becomes more and more important because complex systems
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1) …

CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …

In this paper we re-examine the semantics of classical higher-order logic with the purpose of
clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher …

High-Level net models following the paradigm “nets as tokens” have been studied already in
the literature with several interesting applications. In this paper we propose the new …

In this work, we investigate various specification languages and their relation to CASL, the
recently developed Common Algebraic Specification Language. In particular, we consider …

CASL — THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE: SEMANTICS AND
PROOF THEORY Till Mossakowski Anne E. Haxthausen Donald Sann Page 1 Computing and …

This paper presents a novel formalisation of algebraic effects with equations in Cubical
Agda. Unlike previous work in the literature that employed setoids to deal with equations, the …

Abstract Petri nets and Algebraic High-Level Nets are well-known to model parallel and
concurrent systems. In this paper, we introduce the concept of Algebraic Higher-Order Nets …

We develop an equational definition of exception monads that characterizes Moggi's
exception monad transformer. This axiomatization is then used to define an extension of …

We lay out the design of HasCasl, a higher order extension of the algebraic specification
language Casl that serves both as a wide-spectrum language for the rigorous specification …