Sound reasoning in tock-CSP
Sign Up to like & getrecommendations! 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