Observable behavior of distributed systems: component reasoning for concurrent objects

From MaRDI portal
Publication:444466

DOI10.1016/j.jlap.2012.01.003zbMath1247.68184OpenAlexW1984201573MaRDI QIDQ444466

Crystal Chang Din, Olaf Owe, Johan Dovland, Einar Broch Johnsen

Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.01.003




Related Items


Uses Software


Cites Work


This page was built for publication: Observable behavior of distributed systems: component reasoning for concurrent objects