Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Peters, Kirstin"'
Autor:
Peters, Kirstin, Yoshida, Nobuko
Multiparty session types (MP) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional MP have a limited form of choice in which alternative communication possibilities ar
Externí odkaz:
http://arxiv.org/abs/2405.08104
Autor:
Schmitt, Anna, Peters, Kirstin
Encodings are the main way to compare process calculi. By applying quality criteria to encodings we analyse their quality and rule out trivial or meaningless encodings. Thereby, operational correspondence is one of the most common and most important
Externí odkaz:
http://arxiv.org/abs/2307.05218
Autor:
Peters, Kirstin, Yoshida, Nobuko
Publikováno v:
EPTCS 368, 2022, pp. 113-130
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional session types include only one-directional input (external) and output (
Externí odkaz:
http://arxiv.org/abs/2209.06819
Autor:
Peters, Kirstin, Yoshida, Nobuko
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional session types include only one-directional input (external) and output (
Externí odkaz:
http://arxiv.org/abs/2208.07041
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (November 27, 2023) lmcs:10424
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e., the absence of deadlock. Distributed algorithms often resemble mult
Externí odkaz:
http://arxiv.org/abs/2204.07728
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (April 30, 2024) lmcs:10423
Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then to rule out
Externí odkaz:
http://arxiv.org/abs/2204.06068
Autor:
Mahurkar-Joshi, Swapna, Liu, Cathy, Shera, Simer, Labus, Jennifer S., Shin, Andrea, Mayer, Emeran A., Dong, Tien S., Peters, Kirstin, Gupta, Arpana, Jacobs, Jonathan P., Chang, Lin
Publikováno v:
In Gastroenterology November 2024 167(6):1221-1224
Autor:
Peters, Kirstin
Publikováno v:
EPTCS 300, 2019, pp. 19-38
Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are augmented with encodability criteria. There exists a bunch of differen
Externí odkaz:
http://arxiv.org/abs/1908.08633