Specification and verification of liveness properties of cyclic, concurrent processes

DOI10.1145/42192.42195zbMath0825.68291OpenAlexW1999763016MaRDI QIDQ4711359

Joylyn Reed, Raymond T. Yeh

Publication date: 25 June 1992

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1988-10/

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Specification and verification of liveness properties of cyclic, concurrent processes