32 citations · 78 across the 20 of their papers we have counts for
5 papers · 1 filter
A Probabilistic Choreography Language for PRISM
Marco Carbone, Adele Veschetti
We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a ch…
A Logical Interpretation of Asynchronous Multiparty Compatibility
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying the protocols that communicating processes must follow in a concurrent system. When composing two or more well-typed processes, a session typ…
Refinement for Transition Systems with Responses
Marco Carbone, Thomas Hildebrandt, Gian Perrone +1
Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed trans…
Proceedings Fourth Interaction and Concurrency Experience
Alexandra Silva, Simon Bliudze, Roberto Bruni +1
This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satel…
Execution Models for Choreographies and Cryptoprotocols
Marco Carbone, Joshua Guttman
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a sec…