scientific article; zbMATH DE number 2163046
From MaRDI portal
Publication:4673433
zbMath1088.68507MaRDI QIDQ4673433
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Publication date: 29 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions ⋮ Distributed speculative execution for reliability and fault tolerance: an operational semantics ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ On the analysis of compensation correctness ⋮ Failure-divergence semantics and refinement of long running transactions
This page was built for publication:
