Search

Your search keyword '"Lanese, Ivan"' showing total 21 results
Start Over Author "Lanese, Ivan" Topic operational semantic

Refine your results

more »

more »

21 results on '"Lanese, Ivan"'

1. Retractable and Speculative Contracts

Author

Barbanera, Franco, Lanese, Ivan, de’Liguoro, Ugo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Jacquet, Jean-Marie, editor, and Massink, Mieke, editor

Published
2017
Full Text
View/download PDF

2. Decidability Results for Dynamic Installation of Compensation Handlers

Author

Lanese, Ivan, Zavattaro, Gianluigi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, De Nicola, Rocco, editor, and Julien, Christine, editor

Published
2013
Full Text
View/download PDF

3. A Component Model for the ABS Language

Author

Lienhardt, Michaël, Lanese, Ivan, Bravetti, Mario, Sangiorgi, Davide, Zavattaro, Gianluigi, Welsch, Yannick, Schäfer, Jan, Poetzsch-Heffter, Arnd, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Aichernig, Bernhard K., editor, de Boer, Frank S., editor, and Bonsangue, Marcello M., editor

Published
2012
Full Text
View/download PDF

4. Controlling Reversibility in Higher-Order Pi

Author

Lanese, Ivan, Mezzina, Claudio Antares, Schmitt, Alan, Stefani, Jean-Bernard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Katoen, Joost-Pieter, editor, and König, Barbara, editor

Published
2011
Full Text
View/download PDF

5. Behavioral Theory for Session-Oriented Calculi

Author

Lanese, Ivan, Ravara, Antonio, Vieira, Hugo Torres, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Wirsing, Martin, editor, and Hölzl, Matthias, editor

Published
2011
Full Text
View/download PDF

6. Tools and Verification

Author

Bartoletti, Massimo, Caires, Luis, Lanese, Ivan, Mazzanti, Franco, Sangiorgi, Davide, Vieira, Hugo Torres, Zunino, Roberto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Wirsing, Martin, editor, and Hölzl, Matthias, editor

Published
2011
Full Text
View/download PDF

7. Reversing Higher-Order Pi

Author

Lanese, Ivan, Mezzina, Claudio Antares, Stefani, Jean-Bernard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gastin, Paul, editor, and Laroussinie, François, editor

Published
2010
Full Text
View/download PDF

8. On the Expressive Power of Primitives for Compensation Handling

Author

Lanese, Ivan, Vaz, Cátia, Ferreira, Carla, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Gordon, Andrew D., editor

Published
2010
Full Text
View/download PDF

9. Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

Author

Cruz-Filipe, Luís, Lanese, Ivan, Martins, Francisco, Ravara, António, Vasconcelos, Vasco T., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Barthe, Gilles, editor, and de Boer, Frank S., editor

Published
2008
Full Text
View/download PDF

10. Synchronous Multiparty Synchronizations and Transactions

Author

Lanese, Ivan, Melgratti, Hernán, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Degano, Pierpaolo, editor, De Nicola, Rocco, editor, and Meseguer, José, editor

Published
2008
Full Text
View/download PDF

11. Multiparty Sessions in SOC

Author

Bruni, Roberto, Lanese, Ivan, Melgratti, Hernán, Tuosto, Emilio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lea, Doug, editor, and Zavattaro, Gianluigi, editor

Published
2008
Full Text
View/download PDF

12. PRISMA: A Mobile Calculus with Parametric Synchronization

Author

Bruni, Roberto, Lanese, Ivan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Montanari, Ugo, editor, Sannella, Donald, editor, and Bruni, Roberto, editor

Published
2007
Full Text
View/download PDF

13. Generating Reversible Circuits from Higher-Order Functional Programs

Author

Valiron, Benoît, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Devitt, Simon, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

14. Reversing Single Sessions

Author

Tiezzi, Francesco, Yoshida, Nobuko, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Devitt, Simon, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

15. Static VS Dynamic Reversibility in CCS

Author

Medić, Doriana, Mezzina, Claudio Antares, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Devitt, Simon, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

16. On the Power of Attribute-Based Communication

Author

Abd Alrahman, Yehia, De Nicola, Rocco, Loreti, Michele, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

17. A Theory for the Composition of Concurrent Processes

Author

Henrio, Ludovic, Madelaine, Eric, Zhang, Min, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

18. Type-Based Analysis for Session Inference (Extended Abstract)

Author

Spaccasassi, Carlo, Koutavas, Vasileios, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

19. Components as Location Graphs

Author

Stefani, Jean-Bernard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lanese, Ivan, editor, and Madelaine, Eric, editor

Published
2015
Full Text
View/download PDF

20. Quantitative Types for the Linear Substitution Calculus

Author

Kesner, Delia, Ventura, Daniel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Diaz, Josep, editor, Lanese, Ivan, editor, and Sangiorgi, Davide, editor

Published
2014
Full Text
View/download PDF

21. A Modular Formalization of Reversibility for Concurrent Models and Languages

Author

Alexis Bernadet, Ivan Lanese, Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Department of Computer Science and Engineering [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), ANR-11-INSE-0007,REVER,Programmation de systèmes réversibles et sûrs(2011), European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015), Bernadet, Alexi, and Lanese, Ivan

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Concurrency, 0102 computer and information sciences, Reuse, computer.software_genre, 01 natural sciences, lcsh:QA75.5-76.95, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Concurrent model, X-machine, 0101 mathematics, Modular framework, Generality, Computer Science - Programming Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Programming language, business.industry, lcsh:Mathematics, 010102 general mathematics, Modular design, lcsh:QA1-939, Operational semantic, Rotation formalisms in three dimensions, CCS, Logic in Computer Science (cs.LO), 010201 computation theory & mathematics, lcsh:Electronic computers. Computer science, business, computer, Programming Languages (cs.PL)
Abstract

Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of theories and techniques in different settings., In Proceedings ICE 2016, arXiv:1608.03131

Published
2016

Catalog

Books, media, physical & digital resources
See catalog results