Sciweavers

29 search results - page 2 / 6

» Transaction Calculus

152

Voted

HASE
2008
IEEE

115views Control Systems» more HASE 2008»

Transaction Calculus

16 years 1 months ago

Transaction Calculus

Download www.srds2007.org

Jifeng He

claim paper

Read More »

153

Voted

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

16 years 1 months ago

A Concurrent Calculus with Atomic Transactions

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

169

Voted

KRDB
2001

110views Database» more KRDB 2001»

Towards a General Theory of Advanced Transaction Models in the Situation Calculus

15 years 8 months ago

Towards a General Theory of Advanced Transaction Models in the Situation Calculus

Download www.cs.toronto.edu

Iluju Kiringa

claim paper

Read More »

161

Voted

FMOODS
2003

108views Formal Methods» more FMOODS 2003»

A Calculus for Long-Running Transactions

15 years 8 months ago

A Calculus for Long-Running Transactions

Download www.cs.unibo.it

Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro

claim paper

Read More »

158

JIIS
2010

91views more JIIS 2010»

Synthesizing advanced transaction models using the situation calculus

15 years 5 months ago

Synthesizing advanced transaction models using the situation calculus

Download www.cs.toronto.edu

Iluju Kiringa, Alfredo Gabaldon

claim paper

Read More »

« Prev « First page 2 / 6 Last » Next »