2 search results - page 1 / 1 » Model-directed web transactions under constrained modalities |
WWW
2006
ACM
16 years 3 months ago
2006
ACM
117
click to vote
FOSSACS
2005
Springer
15 years 8 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...