Work

Formalizing Errors in CCS with 3-Valued Logic

Year: 2025

Type: article

Abstract: . Concurrent and distributed systems are often prone to failures. Errors in modeling an agent’s behavior can propagate into large interacting systems with unexpected consequences. In this paper, we propose a theory for the process algebra CCS enriched with a formal and explicit representation of errors based on a McCarthy’s style three-valued logic, which includes the traditional boolean values and a thirderror value. In this setting, we formally study how the emergence of lo-cal errors may or may not result in propagation, as also emphasized in a real-world case study modeling a distributed microservices architecture.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.14882281

Authors: Aldini, Alessandro, Mezzina, Claudio Antares

Institution: University of Urbino

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6893282043

FWCI:

Cites:

Cited by:

Related to: