Zobrazeno 1 - 2
of 2
pro vyhledávání: '"F3, F4.1"'
Autor:
Ngondi, Gerard Ekembe
Publikováno v:
EPTCS 209, 2016, pp. 24-39
In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theory of reactive processes (precisely, the UTP semantics for Communicatin
Externí odkaz:
http://arxiv.org/abs/1606.02018
Autor:
Gerard Ekembe Ngondi
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 24-39 (2016)
Refine@FM
Refine@FM
In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theory of reactive processes (precisely, the UTP semantics for Communicatin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f35f4d9fe420a0e35fbf85c17f98c582
https://doaj.org/article/609d084703f24184b15aaf05a4d6cc09
https://doaj.org/article/609d084703f24184b15aaf05a4d6cc09
