Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Gutkovas, Ramūnas"'
Autor:
Parrow, Joachim, Borgström, Johannes, Eriksson, Lars-Henrik, Gutkovas, Ramūnas Forsberg, Weber, Tjark
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 1 (January 28, 2021) lmcs:5353
We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for these sys
Externí odkaz:
http://arxiv.org/abs/1904.02564
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:
Gutkovas, Ramūnas
A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. They are
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-300029
Autor:
Borgström, Johannes, Gutkovas, Ramūnas, Parrow, Joachim, Victor, Björn, Pohjola, Johannes Åman
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 1 (March 31, 2016) lmcs:1631
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several suc
Externí odkaz:
http://arxiv.org/abs/1510.01044
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 3, p13:1-13:54, 54p
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gutkovas, Ramunas
Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduce
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-233765