Timewise refinement for communicating processes

DOI10.1016/S0167-6423(96)00016-0zbMATH Open0867.68051OpenAlexW1980157037MaRDI QIDQ676846

Steve Schneider

Publication date: 7 August 1997

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(96)00016-0

zbMATH Keywords

timewise refinement

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Modelling temporal behaviour in complex systems with Timebands ⋮ Unnamed Item ⋮ Efficient Timing of Communication in Multiperiod Agencies

This page was built for publication: Timewise refinement for communicating processes