Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Dokter, K.P.C."'
Autor:
Dokter, K.P.C.
Publikováno v:
None
With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6a6923006c9c2030f28b5bf46990935b
http://hdl.handle.net/1887/3618490
http://hdl.handle.net/1887/3618490
Publikováno v:
MeTRiD@ETAPS
Electronic Proceedings in Theoretical Computer Science, Vol 272, Iss Proc. MeTRiD 2018, Pp 121-135 (2018)
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 121-135
STARTPAGE=121;ENDPAGE=135;TITLE=Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
Electronic Proceedings in Theoretical Computer Science, Vol 272, Iss Proc. MeTRiD 2018, Pp 121-135 (2018)
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 121-135
STARTPAGE=121;ENDPAGE=135;TITLE=Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7381aca6d7179cecccada0c748e5782