CALCO
2007
Springer
14 years 5 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...