DMCA

A trace semantics for long-running transactions (2004)

Cached

Download Links

by Michael Butler , Tony Hoare , Carla Ferreira
Venue:In 25 Years Communicating Sequential Processes
Citations:51 - 3 self