E-LIB Suche - Ergebnisse für: Varacca, Daniele

1

Observational Preorders for Alternating Transition Systems:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Demangeon, Romain ; Dima, Catalin ; Varacca, Daniele - p. 312-327 , 2023

2

Processes against tests: On defining contextual equivalence:

Aubert, Clément ; Varacca, Daniele
Journal of Logical and Algebraic Methods in Programming. 129 (2022) - p. 100799 , 2022

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

3

Extensional Petri net:

Dong, Xiaoju ; Fu, Yuxi ; Varacca, Daniele
Formal Aspects of Computing. 31 (2019) 1 - p. 47-58 , 2019

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

4

Semantic Subtyping for Objects and Classes:

Dardha, Ornela ; Gorla, Daniele ; Varacca, Daniele
The Computer Journal. , 2016

Link: https://doi.org/10.1093/..

5

Continuations, Processes, and Sharing:

, In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming,

Downen, Paul ; Maurer, Luke ; Ariola, Zena M.. - p. 69-80 , 2014

Link: https://dl.acm.org/doi/1..

6

Preface:

Cattani, Gian Luca ; Hildebrandt, Thomas T. ; Varacca, Daniele
Theoretical Computer Science. 546 (2014) - p. 1-2 , 2014

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

7

A Compositional Semantics for the Reversible p-Calculus:

, In: Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science,

Cristescu, Ioana ; Krivine, Jean ; Varacca, Daniele - p. 388-397 , 2013

Link: https://dl.acm.org/doi/1..

8

Defining Fairness in Reactive and Concurrent Systems:

Völzer, Hagen ; Varacca, Daniele
Journal of the ACM (JACM). 59 (2012) 3 - p. 1-37 , 2012

Link: https://dl.acm.org/doi/1..

9

Defining Fairness in Reactive and Concurrent Systems:

Völzer, Hagen ; Varacca, Daniele
Journal of the ACM. 59 (2012) 3 - p. 1-37 , 2012

Link: https://doi.org/10.1145/..

10

Typed event structures and the linear π-calculus:

Varacca, Daniele ; Yoshida, Nobuko
Theoretical Computer Science. 411 (2010) 19 - p. 1949-1973 , 2010

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

11

A Petri Net Model of Handshake Protocols:

Fossati, Luca ; Varacca, Daniele
Electronic Notes in Theoretical Computer Science. 229 (2009) 3 - p. 59-76 , 2009

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

12

Semantic subtyping for the pi-calculus:

Castagna, Giuseppe ; Nicola, Rocco De ; Varacca, Daniele
Theoretical Computer Science. 398 (2008) 1-3 - p. 217-242 , 2008

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

13

Security types for dynamic web data:

Dezani-Ciancaglini, Mariangiola ; Ghilezan, Silvia ; Pantović, Jovanka.
Theoretical Computer Science. 402 (2008) 2-3 - p. 156-171 , 2008

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

14

Probabilistic π-Calculus and Event Structures:

Varacca, Daniele ; Yoshida, Nobuko
Electronic Notes in Theoretical Computer Science. 190 (2007) 3 - p. 147-166 , 2007

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

15

Distributing probability over non-determinism:

VARACCA, DANIELE ; WINSKEL, GLYNN
Mathematical Structures in Computer Science. 16 (2006) 1 - p. 87 , 2006

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