Tuosto, Emilio: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Semantics of global view of choreographies

Tuosto, Emilio, Guanciale, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 685 KB

english, 2017

2

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) ||

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 22.63 MB

english, 2019

3

Realisability of pomsets

Guanciale, Roberto, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 853 KB

english, 2019

4

Composition and decomposition of multiparty sessions

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 807 KB

2021

5

An Observational Model for Spatial Logics

Emilio Tuosto, Hugo Torres Vieira

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 475 KB

english, 2006

6

A Logic for Application Level QoS

Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 526 KB

english, 2006

7

Preface

Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 106 KB

english, 2009

8

A Coordination-based Methodology for Security Protocol Verification

Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 393 KB

english, 2005

9

A symbolic framework for multi-faceted security protocol analysis

Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

International Journal of Information Security

Year:

2008

Language:

english

File:

PDF, 844 KB

english, 2008

10

Tarzan: Communicating and Moving in Wireless Jungles

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 376 KB

english, 2005

11

Coalgebraic minimization of HD-automata for the -calculus using polymorphic types

Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 613 KB

english, 2005

12

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 8379 || Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Tuosto, Emilio, Ouyang, Chun

Year:

2014

Language:

english

File:

PDF, 2.15 MB

english, 2014

13

[IEEE 2011 34th Annual IEEE Software Engineering Workshop (SEW) - Limerick, Ireland (2011.06.20-2011.06.21)] 2011 IEEE 34th Software Engineering Workshop - Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

Ali, Nour, Tuosto, Emilio

Year:

2011

Language:

english

File:

PDF, 556 KB

english, 2011

14

A design-by-contract approach to recover the architectural style from run-time misbehaviour

Poyias, Kyriakos, Tuosto, Emilio

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.12 MB

english, 2015

15

Attribute-based transactions in service oriented computing

BOCCHI, LAURA, TUOSTO, EMILIO

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 689 KB

english, 2015

16

Preface

Lluch Lafuente, Alberto, Tuosto, Emilio

Journal:

Service Oriented Computing and Applications

Year:

2015

Language:

english

File:

PDF, 305 KB

english, 2015

17

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

Year:

2015

Language:

english

File:

PDF, 889 KB

english, 2015

18

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - A debugging calculus for mobile ambients

Ferrari, GianLuigi, Tuosto, Emilio

Year:

2001

Language:

english

File:

PDF, 165 KB

english, 2001

19

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, R

Journal:

ACM Computing Surveys

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

20

[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Choreography-Based Analysis of Distributed Message Passing Programs

Taylor, Ramsay, Tuosto, Emilio, Walkinshaw, Neil, Derrick, John

Year:

2016

Language:

english

File:

PDF, 1005 KB

english, 2016

21

From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 889 KB

english, 2015

22

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 484 KB

english, 2019

23

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Towards Races in Linear Logic

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019

24

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || No More, No Less

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 1.18 MB

english, 2019

25

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Self-organising Coordination Regions: A Pattern for Edge Computing

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 2.66 MB

english, 2019

26

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Representing Dependencies in Event Structures

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 313 KB

english, 2019

27

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 684 KB

english, 2019

28

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

File:

PDF, 684 KB

2019