Modelling and verification of PREMO synchronisable objects

DOI10.1007/S001650050024zbMath1114.68308OpenAlexW2069720236MaRDI QIDQ1296333

G. P. Faconti, Mieke Massink

Publication date: 26 July 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050024

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

This page was built for publication: Modelling and verification of PREMO synchronisable objects