An Alternative Order for the Failures Model

DOI10.1093/LOGCOM/2.5.557zbMath0770.68089OpenAlexW2099683378MaRDI QIDQ5285988

A. W. Roscoe

Publication date: 29 June 1993

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.5.557

zbMATH Keywords

topologyCSPpartial ordersfailures-divergencesrecursion induction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (8)

Unnamed Item ⋮ Sequential algorithms for unbounded nondeterminism ⋮ Unnamed Item ⋮ Hidden-Markov program algebra with iteration ⋮ Towards `up to context' reasoning about higher-order processes ⋮ Revivals, stuckness and the hierarchy of CSP models ⋮ Unnamed Item ⋮ A CSP model with flexible parallel termination semantics

This page was built for publication: An Alternative Order for the Failures Model