scientific article

zbMATH Open0655.68030MaRDI QIDQ3802600

Giuseppe Pappalardo, Luigi Vincenzo Mancini

Publication date: 1988

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

zbMATH Keywords

fault tolerancedistributed systemHoare logicN-modular redundancy

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of operating systems (68N25) Theory of software (68N99)

Recommendations

• Title not available (Why is that?) 👍 👎
• Distributed first order logic 👍 👎
• A logical study of distributed transition systems 👍 👎
• Decision problems in a logic for reasoning about reconfigurable distributed systems 👍 👎
• Distributed first order logics 👍 👎
• Distributed Modal Logic 👍 👎
• A Logic For Distributed Processes 👍 👎
• Putting logic-based distributed systems on stable grounds 👍 👎
• A Hoare logic for dynamic networks of asynchronously communicating deterministic processes 👍 👎

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 Q3802600)