Axiomatizing Maximal Progress and Discrete Time von Bravetti, Mario

Volltext

Asynchronous session subtyping as communicating automata refinement von Bravetti, Mario, Zavattaro, Gianluigi

Volltext

Towards Dynamic Updates in Service Composition von Bravetti, Mario

Volltext

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation von Bravetti, Mario, Carbone, Marco, Lange, Julien, Yoshida, Nobuko, Zavattaro, Gianluigi

Volltext

On the boundary between decidability and undecidability of asynchronous session subtyping von Bravetti, Mario, Carbone, Marco, Zavattaro, Gianluigi

Volltext

Choreographies and Behavioural Contracts on the Way to Dynamic Updates von Bravetti, Mario, Zavattaro, Gianluigi

Volltext

Reduction semantics in Markovian process algebra von Bravetti, Mario

Volltext

Undecidability of asynchronous session subtyping von Bravetti, Mario, Carbone, Marco, Zavattaro, Gianluigi

Volltext

Fair Asynchronous Session Subtyping von Bravetti, Mario, Lange, Julien, Zavattaro, Gianluigi

Volltext

Process calculi as a tool for studying coordination, contracts and session types von Bravetti, Mario, Zavattaro, Gianluigi

Volltext

Adaptable processes von Bravetti, Mario, Di Giusto, Cinzia, Perez, Jorge A, Zavattaro, Gianluigi

Volltext

Proactive–reactive microservice architecture global scaling von Bacchiani, Lorenzo, Bravetti, Mario, Giallorenzo, Saverio, Gabbrielli, Maurizio, Zavattaro, Gianluigi, Zingaro, Stefano Pio

Volltext

Integrated Timed Architectural Modeling/Execution Language von Bacchiani, Lorenzo, Bravetti, Mario, Giallorenzo, Saverio, Mauro, Jacopo, Zavattaro, Gianluigi

Volltext

A Java typestate checker supporting inheritance von Bacchiani, Lorenzo, Bravetti, Mario, Giunti, Marco, Mota, João, Ravara, António

Volltext

Formalizing RESTful Services and Web-OS Middleware von Bravetti, Mario

Volltext

Weighted Bisimulation in Linear Algebraic Form von Boreale, Michele

Volltext

A theory of contracts for strong service compliance von BRAVETTI, MARIO, ZAVATTARO, GIANLUIGI

Volltext

Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles von Hull, Richard, Damaggio, Elio, Fournier, Fabiana, Gupta, Manmohan, Heath, Fenno (Terry), Hobson, Stacy, Linehan, Mark, Maradugu, Sridhar, Nigam, Anil, Sukaviriya, Piyawadee, Vaculin, Roman

Volltext

DecSerFlow: Towards a Truly Declarative Service Flow Language von van der Aalst, W. M. P., Pesic, M.

Volltext

Relating Session Types and Behavioural Contracts: The Asynchronous Case von Bravetti, Mario, Zavattaro, Gianluigi

Volltext