180
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
We show that the category FinVectk of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely...
220
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
192
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we give an overview of the framework of graph transformation units which provides syntactic and semantic means for analyzing, modeling, and structuring all kinds of ...
197
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.