A counter-example to an algorithm for the generalized input--output construct of CSP

DOI10.1016/S0020-0190(97)00040-9zbMath0925.68085OpenAlexW2015414411MaRDI QIDQ1392214

Devendra Kumar, Abraham Silberschatz

Publication date: 23 July 1998

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(97)00040-9

zbMATH Keywords

Distributed computingConcurrencyProgram correctnessProgramming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Parallel algorithms in computer science (68W10)

Related Items (3)

Breaking symmetries ⋮ Mechanical Verification of a Constructive Proof for FLP ⋮ What is a ``good encoding of guarded choice?

Cites Work

• An Effective Implementation for the Generalized Input-Output Construct of CSP

This page was built for publication: A counter-example to an algorithm for the generalized input--output construct of CSP