2 citations · 2 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2012★ 9 cited
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…
cs.LO2010★ 2 cited
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…