scientific article

zbMATH Open0585.68039MaRDI QIDQ3709881

Boubakar Gamatie

Publication date: 1986

Title of this publication is not available (Why is that?)

zbMATH Keywords

nondeterminismprocessleastasynchronous systems of processesequivalence and congruence of processesprocess interface

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (7)

Generic transforms on incomplete specifications of asynchronous interfaces ⋮ Synchronizability for Verification of Asynchronously Communicating Systems ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Special issue on ``Comprehending asynchrony in specification and analysis dedicated to Walter Vogler on the occasion of his 60th birthday

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3709881)