Zobrazeno 1 - 10
of 47
pro vyhledávání: '"KOUZAPAS, DIMITRIOS"'
Modern industrial systems require frequent updates to their cyber and physical infrastructures, which often demand considerable reconfiguration effort. This paper introduces a framework to automate this process, implemented as the industrial Cyber-Ph
Externí odkaz:
http://arxiv.org/abs/2408.17133
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 3 (August 5, 2024) lmcs:5567
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assumed that the communication medium is reliable, with no loss of messages
Externí odkaz:
http://arxiv.org/abs/1902.01353
Autor:
Saeed, Taqwa, Skitsas, Constantinos, Kouzapas, Dimitrios, Lestas, Marios, Soteriou, Vassos, Philippou, Anna, Abadal, Sergi, Liaskos, Christos, Petrou, Loukas, Georgiou, Julius, Pitsillides, Andreas
HyperSurfaces are a merge of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized network of controllers, thus enabling novel capabilities in wireless commun
Externí odkaz:
http://arxiv.org/abs/1810.06329
Autor:
Kouzapas, Dimitrios, Philippou, Anna
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 4 (December 20, 2017) lmcs:4152
In this paper we propose a formal framework for studying privacy in information systems. The proposal follows a two-axes schema where the first axis considers privacy as a taxonomy of rights and the second axis involves the ways an information system
Externí odkaz:
http://arxiv.org/abs/1710.06494
Autor:
Kouzapas, Dimitrios
Bisimulation theory is a co-inductive tool used as a tractable method for studying equivalence relations in process calculi. This dissertation studies bisimulation theory for session types. We define the Asynchronous Session π-calculus (ASP for shor
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650674
This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant subcalculi. First we develop three typed bisimulations, which are shown
Externí odkaz:
http://arxiv.org/abs/1502.02585
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 3, p13:1-13:54, 54p
Autor:
Kouzapas, Dimitrios, Skitsas, Constantinos, Saeed, Taqwa, Soteriou, Vassos, Lestas, Marios, Philippou, Anna, Abadal, Sergi, Liaskos, Christos, Petrou, Loukas, Georgiou, Julius, Pitsillides, Andreas
Publikováno v:
In Journal of Systems Architecture June 2020 106
Autor:
Kouzapas, Dimitrios, Yoshida, Nobuko
Publikováno v:
Logical Methods in Computer Science, Volume 10, Issue 4 (December 30, 2014) lmcs:775
This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer. The bisimulation is defined with the observer cooperating with the obs
Externí odkaz:
http://arxiv.org/abs/1412.5943
Publikováno v:
EPTCS 155, 2014, pp. 25-31
Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality. In this paper we define a session type theory for
Externí odkaz:
http://arxiv.org/abs/1406.3481