The following pages link to Emilio Tuosto (Q1770361):
Displaying 46 items.
- (Q272309) (redirect page) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Realisability of pomsets (Q2011200) (← links)
- Towards refinable choreographies (Q2141294) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- From Communicating Machines to Graphical Choreographies (Q2819808) (← links)
- (Q2849570) (← links)
- (Q2849847) (← links)
- On Nominal Regular Languages with Binders (Q2892775) (← links)
- On the Realizability of Contracts in Dishonest Systems (Q2902531) (← links)
- Synthesising Choreographies from Local Session Types (Q2914373) (← links)
- A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions (Q2915170) (← links)
- Honesty by Typing (Q2974791) (← links)
- (Q3396631) (← links)
- Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods (Q3460868) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- History Dependent Automata for Service Compatibility (Q3507393) (← links)
- Network Applications of Graph Bisimulation (Q3540393) (← links)
- A Theory of Design-by-Contract for Distributed Multiparty Interactions (Q3584928) (← links)
- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing (Q3591394) (← links)
- Coordination Via Types in an Event-Based Framework (Q3614838) (← links)
- (Q4448354) (← links)
- Contract-Oriented Computing in CO2 (Q4621158) (← links)
- (Q4994124) (← links)
- (Q5019694) (← links)
- (Q5019695) (← links)
- (Q5057639) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5129942) (← links)
- (Q5208776) (← links)
- (Q5216080) (← links)
- (Q5216330) (← links)
- On Sessions and Infinite Data (Q5270091) (← links)
- Verification: Theory and Practice (Q5305653) (← links)
- Resolving Non-determinism in Choreographies (Q5410716) (← links)
- Algebra and Coalgebra in Computer Science (Q5492819) (← links)
- Foundations of Software Science and Computational Structures (Q5705867) (← links)
- Attribute-based transactions in service oriented computing (Q5740634) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900549) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- On Composing Communicating Systems (Q6122641) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- A dynamic temporal logic for quality of service in choreographic models (Q6605346) (← links)
