Francesco Tiezzi

From MaRDI portal
Person:492907

Available identifiers

zbMath Open tiezzi.francescoDBLP80/4174-1WikidataQ102372674 ScholiaQ102372674MaRDI QIDQ492907

List of research outcomes





PublicationDate of PublicationType
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies2024-03-14Paper
PALM: A Technique for Process ALgebraic Specification Mining2023-03-21Paper
https://portal.mardi4nfdi.de/entity/Q33849142021-12-17Paper
Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations2021-02-26Paper
https://portal.mardi4nfdi.de/entity/Q49639962021-02-24Paper
Replacement freeness: a criterion for separating process calculi2020-11-09Paper
https://portal.mardi4nfdi.de/entity/Q51299502020-11-03Paper
A formal approach to the engineering of domain-specific distributed systems2020-01-31Paper
https://portal.mardi4nfdi.de/entity/Q49671722019-07-03Paper
Causal-consistent rollback in a tuple-based language2017-03-20Paper
A language-based approach to modelling and analysis of Twitter interactions2017-02-22Paper
Reversing Single Sessions2016-08-10Paper
Reversible session-based pi-calculus2015-08-21Paper
Programming Autonomic Systems with Multiple Constraint Stores2015-06-22Paper
Programming and Verifying Component Ensembles2014-07-24Paper
A WSDL-based type system for asynchronous WS-BPEL processes2011-05-23Paper
An accessible verification environment for UML models of services2011-01-14Paper
On Observing Dynamic Prioritised Actions in SOC2009-07-14Paper
C WS: A Timed Service-Oriented Calculus2008-09-17Paper
Regulating Data Exchange in Service Oriented Applications2008-07-01Paper
Specifying and Analysing SOC Applications with COWS2008-06-19Paper
A Calculus for Orchestration of Web Services2007-09-04Paper

Research outcomes over time

This page was built for person: Francesco Tiezzi