2 search results - page 1 / 1 » Model-directed web transactions under constrained modalities |
67
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
97
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...