Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Marco Giunti"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 188, Iss Proc. WWV 2015, Pp 23-32 (2015)
We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring proce
Externí odkaz:
https://doaj.org/article/a42638fe8e154de89e5629545da529fa
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 89, Iss Proc. EXPRESS/SOS 2012, Pp 65-79 (2012)
In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus representing confidentiality in a natural way. The hide operator is meant for l
Externí odkaz:
https://doaj.org/article/f0867b719722470986505aeb5c69bdb6
Autor:
Marco Giunti
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 61, Iss Proc. WWV 2011, Pp 96-114 (2011)
We present a type checking algorithm for establishing a session-based discipline in the pi calculus of Milner, Parrow and Walker. Our session types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur
Externí odkaz:
https://doaj.org/article/7144786fb5ce4363b580d07854a1e061
Publikováno v:
SSRN Electronic Journal.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c2b9ece6a2682b0c6a2ecd7056f08136
https://doi.org/10.2139/ssrn.4378743
https://doi.org/10.2139/ssrn.4378743
Autor:
Marco Giunti
Publikováno v:
Foundations of Science. 28:327-375
In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrume
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::343ae97a8a79e5d8abb87a724c96b287
https://doi.org/10.1007/s10699-020-09700-1
https://doi.org/10.1007/s10699-020-09700-1
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031124280
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf3f4e9f6bd744a443335414770604e2
https://doi.org/10.1007/978-3-031-12429-7_5
https://doi.org/10.1007/978-3-031-12429-7_5
Publikováno v:
Science of Computer Programming
Science of Computer Programming, 2022, 221, pp.102844. ⟨10.1016/j.scico.2022.102844⟩
Science of Computer Programming, 2022, 221, pp.102844. ⟨10.1016/j.scico.2022.102844⟩
International audience; Detecting programming errors in software is increasingly important, and building tools that help developers with this task is a crucial area of investigation on which the industry depends. Leveraging on the observation that in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55b5b9a0fae634a85064987d75e9b575
https://doi.org/10.1016/j.scico.2022.102844
https://doi.org/10.1016/j.scico.2022.102844
Publikováno v:
Logic Journal of the IGPL. 29:697-717
Knowledge representation is a central issue for Artificial Intelligence and the Semantic Web. In particular, the problem of representing n-ary relations in RDF-based languages such as RDFS or OWL by no means is an obvious one. With respect to previou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::db5e5b46d0396de2ec266aaa4116accf
https://doi.org/10.1093/jigpal/jzz047
https://doi.org/10.1093/jigpal/jzz047
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030781415
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.121-133, ⟨10.1007/978-3-030-78142-2_8⟩
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.121-133, ⟨10.1007/978-3-030-78142-2_8⟩
Part 2: Communications: Types and Implemenations; International audience; Detecting programming errors and vulnerabilities in software is increasingly important, and building tools that help developers with this task is a crucial area of investigatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f04332f3de829aae1c5310ce7d71b134
https://doi.org/10.1007/978-3-030-78142-2_8
https://doi.org/10.1007/978-3-030-78142-2_8
Autor:
Marco Giunti
Publikováno v:
Coordination Models and Languages
Lecture Notes in Computer Science ISBN: 9783030500283
COORDINATION
Lecture Notes in Computer Science
22th International Conference on Coordination Languages and Models (COORDINATION)
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.137-152, ⟨10.1007/978-3-030-50029-0_9⟩
Lecture Notes in Computer Science ISBN: 9783030500283
COORDINATION
Lecture Notes in Computer Science
22th International Conference on Coordination Languages and Models (COORDINATION)
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.137-152, ⟨10.1007/978-3-030-50029-0_9⟩
Part 4: Communications: Types and Implementations; International audience; We identify two important features to enhance the design of communication protocols specified in the pi-calculus, that are linear and static channels, and present a compiler,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df85953c26111557b0fd1fa88417bcbc
https://hdl.handle.net/10362/120685
https://hdl.handle.net/10362/120685