Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Voinea, A. Laura"'
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (November 22, 2023) lmcs:10238
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures:
Externí odkaz:
http://arxiv.org/abs/2210.17508
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 2, Article 6
In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communication) between software systems, for example, between a user-space program and the kernel or between a local application and an online service. Ensuri
Externí odkaz:
http://arxiv.org/abs/2203.02461
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
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 3, p13:1-13:54, 54p
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-29, 29p
Autor:
Dardha, Ornela, Gay, Simon J., Kouzapas, Dimitrios, Perera, Roly, Voinea, A. Laura, Weber, Florian
We present two tools that support static typechecking of communica- tion protocols in Java. Mungo associates Java classes with typestate specifications, which are state machines defining permitted sequences of method calls. StMungo translates a commu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::d9e7055b0a66bf70385e8e7c68c80661
https://eprints.gla.ac.uk/146891/3/146891.pdf
https://eprints.gla.ac.uk/146891/3/146891.pdf
Autor:
Voinea, A. Laura, Gay, Simon J.
Session types are a formalism used to specify and check the correctness of communication based systems. Within their scope, they can guarantee the absence of communication errors such as deadlock, sending an unexpected message or failing to handle an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::5639fab0d2ec71108c9f566acc30a2e6
https://eprints.gla.ac.uk/135321/1/135321.pdf
https://eprints.gla.ac.uk/135321/1/135321.pdf