24 search results - page 2 / 5 » calco 2009 |
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monad...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...