105
Voted
CALCO
15 years 7 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 ...
117
Voted
CALCO
15 years 7 months ago
2009 Springer 
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
104
Voted
CALCO
15 years 7 months ago
2009 Springer 
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
107
click to vote
CALCO
15 years 7 months ago
2009 Springer 
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
|
Mathematics