scientific article; zbMATH DE number 7075940
From MaRDI portal
Publication:4967240
zbMath1409.68038MaRDI QIDQ4967240
Alcino Cunha, Carla Ferreira, Carlos Baquero, Paulo Sérgio Almeida
Publication date: 3 July 2019
Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/507/496
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Proving the Safety of Highly-Available Distributed Objects ⋮ Categorical specification and implementation of replicated data types
This page was built for publication: