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
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...