Francesco Tiezzi

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies	2024-03-14	Paper
PALM: A Technique for Process ALgebraic Specification Mining	2023-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q3384914	2021-12-17	Paper
Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations	2021-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4963996	2021-02-24	Paper
Replacement freeness: a criterion for separating process calculi	2020-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5129950	2020-11-03	Paper
A formal approach to the engineering of domain-specific distributed systems	2020-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4967172	2019-07-03	Paper
Causal-consistent rollback in a tuple-based language	2017-03-20	Paper
A language-based approach to modelling and analysis of Twitter interactions	2017-02-22	Paper
Reversing Single Sessions	2016-08-10	Paper
Reversible session-based pi-calculus	2015-08-21	Paper
Programming Autonomic Systems with Multiple Constraint Stores	2015-06-22	Paper
Programming and Verifying Component Ensembles	2014-07-24	Paper
A WSDL-based type system for asynchronous WS-BPEL processes	2011-05-23	Paper
An accessible verification environment for UML models of services	2011-01-14	Paper
On Observing Dynamic Prioritised Actions in SOC	2009-07-14	Paper
C WS: A Timed Service-Oriented Calculus	2008-09-17	Paper
Regulating Data Exchange in Service Oriented Applications	2008-07-01	Paper
Specifying and Analysing SOC Applications with COWS	2008-06-19	Paper
A Calculus for Orchestration of Web Services	2007-09-04	Paper

Research outcomes over time

This page was built for person: Francesco Tiezzi