CALCO
2007
Springer
13 years 10 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
13 years 10 months ago
2007
Springer
CALCO
2007
Springer
13 years 10 months ago
2007
Springer
CALCO
2007
Springer
13 years 10 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
13 years 10 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...