55 search results - page 7 / 11 » birthday 2008 |
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
A sequence of graphs Gn is iteratively constructible if it can be built from an initial labeled graph by means of a repeated fixed succession of elementary operations involving add...
111
click to vote
BIRTHDAY
2008
Springer
14 years 12 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...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...
BIRTHDAY
2008
Springer
14 years 12 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...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...