3713 search results - page 120 / 743 » Constructing a Calculus of Programs |
144
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
125
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
118
click to vote
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
163
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
139
click to vote
MAGS
2008
15 years 3 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...