Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

APLAS
2010
ACM

favoriteEmaildiscussreport

111views Programming Languages» more APLAS 2010»

Liveness of Communicating Transactions (Extended Abstract)

13 years 1 months ago

Liveness of Communicating Transactions (Extended Abstract)

Download www.scss.tcd.ie

Edsko de Vries, Vasileios Koutavas, Matthew Hennes

Real-time Traffic

APLAS 2010 | Programming Languages |

claim paper

Related Content

» Communicating Transactions Extended Abstract

» Extending the transaction level modeling approach for fast communication architecture expl...

» Fast exploration of busbased communication architectures at the CCATB abstraction

» A MultiLevel Architecture for Distributed Object Bases

» Ubiquitous Content Formulations for RealTime Information Communications

» A compositional theory for STM Haskell

» Web Science The DigitalHeritage Case

» Modelbased approximate querying in sensor networks

» Mobile Emulab A Robotic Wireless and Sensor Network Testbed

Post Info
More Details (n/a)

Added	20 Mar 2011
Updated	20 Mar 2011
Type	Journal
Year	2010
Where	APLAS
Authors	Edsko de Vries, Vasileios Koutavas, Matthew Hennessy

Comments (0)