1532 search results - page 41 / 307 » An Algebraic Process Calculus |
194
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
145
click to vote
RELMICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus (RCC). Similarly, Stonian p-ortholattice...
148
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...
180
click to vote
LISP
2008
15 years 6 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...