Data refinement of remote procedures
From MaRDI portal
Publication:5930074
DOI10.1007/PL00003935zbMath0972.68013OpenAlexW2048698822MaRDI QIDQ5930074
Publication date: 18 November 2001
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/pl00003935
Related Items (2)
Verification and refinement with fine-grained action-based concurrent objects ⋮ Kaisa Sere: in memoriam
This page was built for publication: Data refinement of remote procedures
