Book chapters details
- A trace semantics for long-running transactions
-
Jan 2005
-
Communicating Sequential Processes. The First 25 Years
-
Springer Berlin Heidelberg
-
Michael Butler,
Tony Hoare,
Carla Ferreira
-
-
-
LNCS
-
-
-
http://link.springer.com/chapter/10.1007/11423348_8
-
-
-
10.1007/11423348_8
-
133 to 150
-
1 Jan 2005
-