Articles with "tock" as a keyword



Photo from wikipedia

Sound reasoning in tock-CSP

Sign Up to like & get
recommendations!
Published in 2022 at "Acta Informatica"

DOI: 10.1007/s00236-020-00394-3

Abstract: Specifying budgets and deadlines using a process algebra like CSP requires an explicit notion of time. The tock -CSP encoding embeds a rich and flexible approach for modelling discrete-time behaviours with powerful tool support. It… read more here.

Keywords: csp; tock; model; tock csp ... See more keywords