Modular redundancy in a message passing system

DOI10.1109/TSE.1986.6312922zbMath0575.68027OpenAlexW2003318743MaRDI QIDQ3694675

Luigi V. Mancini

Publication date: 1986

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1986.6312922

zbMATH Keywords

concurrent programmingnon-determinismcommunicating sequential processesModular redundancy

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

Two implementation relations and the correctness of communicating replicated processes

This page was built for publication: Modular redundancy in a message passing system