scientific article
From MaRDI portal
Publication:4028634
zbMath0769.68091MaRDI QIDQ4028634
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
observersdistributed algorithmssuperimpositionnormal form transformationEstelledistributed program composition
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)