2 search results - page 1 / 1 » Model-directed web transactions under constrained modalities |
WWW
2006
ACM
14 years 6 months ago
2006
ACM
FOSSACS
2005
Springer
13 years 11 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...