Modeling Error Propagation in CCS with McCarthy-Style Three-Valued Logic

SSRN Electronic Journal 2026 Preprint Open access

Read full text

Authors: Claudio Antares Mezzina, Alessandro Aldini

DOI: 10.2139/ssrn.6172806

Cited by: 0

References: 17

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Distributed systems and fault tolerance

References 17