Search Results - "Bravetti, Mario"

FAIR ASYNCHRONOUS SESSION SUBTYPING.

Authors: BRAVETTI, MARIO JULIEN LANGE ZAVATTARO, GIANLUIGI

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p5:1-5:47, 47p

Asynchronous session subtyping as communicating automata refinement.

Authors: Bravetti, Mario Zavattaro, Gianluigi

Source: Software & Systems Modeling; Apr2021, Vol. 20 Issue 2, p311-333, 23p

AXIOMATIZING MAXIMAL PROGRESS AND DISCRETE TIME.

Authors: BRAVETTI, MARIO^1,2, mario.bravetti@unibo.it

Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 1, p1-44, 44p

A Petri Net Based Modeling of Active Objects and Futures.

Authors: de Boer, Frank S. Bravetti, Mario Lee, Matias D. et al.

Source: Fundamenta Informaticae; 2018, Vol. 159 Issue 3, p197-256, 60p

Proactive–reactive microservice architecture global scaling.

Authors: Bacchiani, Lorenzo Bravetti, Mario Giallorenzo, Saverio et al.

Source: Journal of Systems & Software. Feb2025, Vol. 220, pN.PAG-N.PAG. 1p.

A theory of contracts for strong service compliance.

Authors: Bravetti, Mario Zavattaro, Gianluigi

Source: Mathematical Structures in Computer Science. Jun2009, Vol. 19 Issue 3, p601-638. 38p.

On the expressive power of process interruption and compensation.

Authors: Bravetti, Mario Zavattaro, Gianluigi

Source: Mathematical Structures in Computer Science. Jun2009, Vol. 19 Issue 3, p565-599. 35p.

A Foundational Theory of Contracts for Multi-party Service Composition.

Authors: Bravetti, Mario Zavattaro, Gianluigi

Source: Fundamenta Informaticae; 2008, Vol. 89 Issue 4, p451-478, 28p, 2 Charts

A process‐algebraic approach for the analysis of probabilistic noninterference.

Authors: Aldini, Alessandro Bravetti, Mario Gorrieri, Roberto

Source: Journal of Computer Security; 2004, Vol. 12 Issue 2, p191-245, 55p, 15 Diagrams, 4 Charts

On the boundary between decidability and undecidability of asynchronous session subtyping.

Authors: Bravetti, Mario Carbone, Marco Zavattaro, Gianluigi

Source: Theoretical Computer Science. Apr2018, Vol. 722, p19-51. 33p.

Subjects: Asynchronous transfer mode, Programming languages, Buffer storage (Computer science), Decidability (Mathematical logic), Mathematical models

Undecidability of asynchronous session subtyping.

Authors: Bravetti, Mario Zavattaro, Gianluigi Carbone, Marco

Source: Information & Computation. Oct2017, Vol. 256, p300-320. 21p.

Subjects: Session Initiation Protocol (Computer network protocol), Queuing theory, Computer networks, Asynchronous transfer mode, Computer network protocols

Quantitative information in the tuple space coordination model

Authors: Bravetti, Mario Gorrieri, Roberto Lucchi, Roberto et al.

Source: Theoretical Computer Science. Nov2005, Vol. 346 Issue 1, p28-57. 30p.

Subjects: JavaSpaces technology, Computer science, Distributed computing, Computer architecture

Performance measure sensitive congruences for Markovian process algebras

Authors: Bernardo, Marco Bravetti, Mario

Source: Theoretical Computer Science. Jan2003, Vol. 290 Issue 1, p117. 44p.

Subjects: Algebra, Markov processes, Algorithms

The theory of interactive generalized semi-Markov processes

Authors: Bravetti, Mario Gorrieri, Roberto

Source: Theoretical Computer Science. Jun2002, Vol. 282 Issue 1, p5. 28p.

Subjects: Stochastic processes, Algebra

Service oriented computing from a process algebraic perspective

Authors: Bravetti, Mario Zavattaro, Gianluigi

Source: Journal of Logic & Algebraic Programming. Jan2007, Vol. 70 Issue 1, p3-14. 12p.

Subjects: Distributed computing, Algebra, Mathematical analysis, Mathematics, Internet

Introduction to the Software Engineering and Formal Methods 2013 special issue.

Authors: Bravetti, Mario Hierons, Robert Merayo, Mercedes

Source: Software & Systems Modeling; Feb2017, Vol. 16 Issue 1, p5-6, 2p

A Java typestate checker supporting inheritance.

Authors: Bacchiani, Lorenzo Bravetti, Mario Giunti, Marco et al.

Source: Science of Computer Programming. Sep2022, Vol. 221, pN.PAG-N.PAG. 1p.

Subjects: Object-oriented programming, Source code

Guest Editors’ Foreword

Authors: Aceto, Luca Bravetti, Mario Fokkink, Wan et al.

Source: Journal of Logic & Algebraic Programming. Feb2008, Vol. 75 Issue 1, p1-2. 2p.

Guest Editors’ Foreword

Authors: Aceto, Luca Bravetti, Mario Fokkink, Wan et al.

Source: Journal of Logic & Algebraic Programming. May2007, Vol. 72 Issue 1, p1-2. 2p.

Guest editor’s introduction: Special issue on Web Services and Formal Methods

Authors: Bravetti, Mario Zavattaro, Gianluigi

Source: Journal of Logic & Algebraic Programming. Jan2007, Vol. 70 Issue 1, p1-2. 2p.