Prescribing behaviours

DOI10.1016/0304-3975(91)90302-IzbMath0731.68078OpenAlexW2912369901MaRDI QIDQ808283

Wladyslaw M. Turski

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90302-i

zbMATH Keywords

postguardspreguards

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

On the nature of events ⋮ On the nature of events: another perspective in concurrency

Cites Work

• On specification of multiprocessor computing

This page was built for publication: Prescribing behaviours