E-LIB Suche - Ergebnisse für: Graversen, Eva

1

Alice or Bob?: Process polymorphism in choreographies:

GRAVERSEN, EVA ; HIRSCH, ANDREW K. ; MONTESI, FABRIZIO
Journal of Functional Programming. 34 (2024) - p. , 2024

Link: https://doi.org/10.1017/..

2

Reasoning About Choreographic Programs:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Cruz-Filipe, Luís ; Graversen, Eva ; Montesi, Fabrizio. - p. 144-162 , 2023

Link: https://doi.org/10.1007/..

3

Event structures for the reversible early internal π-calcul..:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100720 , 2022

Link: https://doi.org/10.1016/..

4

Functional Choreographic Programming:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Cruz-Filipe, Luís ; Graversen, Eva ; Lugović, Lovro.. - p. 212-237 , 2022

Link: https://doi.org/10.1007/..

5

Event structure semantics of (controlled) reversible CCS:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100686 , 2021

Link: https://doi.org/10.1016/..

6

Event Structures for the Reversible Early Internal $$\pi $$..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko - p. 71-90 , 2020

Link: https://doi.org/10.1007/..

7

Towards a categorical representation of reversible event st..:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming. 104 (2019) - p. 16-59 , 2019

Link: https://doi.org/10.1016/..

8

Event Structure Semantics of (controlled) Reversible CCS:

, In: Reversible Computation; Lecture Notes in Computer Science,

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko - p. 102-122 , 2018

Link: https://doi.org/10.1007/..

9

Alice or Bob?: Process Polymorphism in Choreographies:

Graversen, Eva ; Hirsch, Andrew K ; Montesi, Fabrizio
http://arxiv.org/abs/2303.04678. , 2023

Link: http://arxiv.org/abs/230..

10

Reasoning about Choreographic Programs:

Cruz-Filipe, Luís ; Graversen, Eva ; Montesi, Fabrizio.
http://arxiv.org/abs/2304.14539. , 2023

Link: http://arxiv.org/abs/230..

11

Event structures for the reversible early internal π-calcul..:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
https://eprints.gla.ac.uk/253600/1/253600.pdf. , 2022

Link: https://eprints.gla.ac.u..

12

Functional Choreographic Programming:

Cruz-Filipe, Luís ; Graversen, Eva ; Lugović, Lovro..
http://arxiv.org/abs/2111.03701. , 2021

Link: http://arxiv.org/abs/211..

13

Event structure semantics of reversible process calculi:

Graversen, Eva
alma. , 2021

Link: http://hdl.handle.net/10..

14

Event structure semantics of (controlled) reversible CCS:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
https://eprints.gla.ac.uk/241520/1/241520.pdf. , 2021

Link: https://eprints.gla.ac.u..

15

Event structures for the reversible early internal Pi-calcu..:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
http://arxiv.org/abs/2004.01211. , 2020

Link: http://arxiv.org/abs/200..