Application of three-valued logic for distributed termination detection

DOI10.1016/0045-7906(91)90003-IzbMath0791.68073OpenAlexW2057241144MaRDI QIDQ1207442

A. Kavianpour, Nader Bagherzadeh

Publication date: 1 April 1993

Published in: Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0045-7906(91)90003-i

zbMATH Keywords

correctnessthree-valued logicdistributed computingtermination detectiondeadlock

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Graph theory (including graph drawing) in computer science (68R10) Distributed algorithms (68W15)

This page was built for publication: Application of three-valued logic for distributed termination detection