39 search results - page 4 / 8 » A Calculus for Long-Running Transactions |
ESOP
2007
Springer
14 years 5 months ago
2007
Springer
KRDB
2001
14 years 8 days ago
2001
JIIS
2010
13 years 9 months ago
2010
SEFM
2007
IEEE
14 years 5 months ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
FOSSACS
2005
Springer
14 years 4 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...