806 search results - page 89 / 162 » Algebraic Structures of B-series |
EMISA
2006
Springer
14 years 19 days ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
MOVEP
2000
14 years 16 days ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
FMOODS
2008
13 years 10 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
ACS
2008
13 years 9 months ago
2008
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings ar...
ENTCS
2008
13 years 9 months ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...