1788 search results - page 43 / 358 » Model Theory for Process Algebra |
103
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
172
click to vote
FPCA
1995
15 years 4 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
CORR
2010
Springer
15 years 19 days ago
2010
Springer
We give bit-size estimates for the coefficients appearing in triangular sets describing positive-dimensional algebraic sets defined over Q. These estimates are worst case upper bo...
CORR
2007
Springer
15 years 15 days ago
2007
Springer
Abstract—In wireless networks with random node distribution, the underlying point process model and the channel fading process are usually considered separately. A unified frame...
110
click to vote
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...