Two implementation relations and the correctness of communicating replicated processes

DOI10.1007/BF01211616zbMATH Open0874.68123MaRDI QIDQ1362771FDOQ1362771

Luigi Vincenzo Mancini, Maciej Koutny, Giuseppe Pappalardo

Publication date: 7 August 1997

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

Recommendations

• scientific article
• scientific article; zbMATH DE number 2113951
• scientific article; zbMATH DE number 1735620
• scientific article; zbMATH DE number 17795

zbMATH Keywords

distributed systemsreplicated processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The existence of refinement mappings
• A Theory of Communicating Sequential Processes
• Three logics for branching bisimulation
• The mutual exclusion problem
• Proving entailment between conceptual state specifications
• A trace-based compositional proof theory for fault tolerant distributed systems
• Modular redundancy in a message passing system

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Two implementation relations and the correctness of communicating replicated processes

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