2 search results - page 1 / 1 » Model-directed web transactions under constrained modalities |
62
Voted
WWW
2006
ACM
16 years 20 days ago
2006
ACM
FOSSACS
2005
Springer
15 years 5 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...