Communication and correctness in Timed CSP

Autor:	A.W. Roscoe, S.A. Schneider, J.W. Davies, D.M. Jackson, G.M. Reed
Rok vydání:	2016
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cd91ea24fe8e48e5d92a622fdeb56e24 https://ora.ox.ac.uk/objects/uuid:1d00d52a-bd76-4694-9777-af9e7cc98b81 Zobrazit plný text záznamu