Daniele Varacca

Available identifiers

zbMath Open varacca.danieleMaRDI QIDQ667520

List of research outcomes

Publication	Date of Publication	Type
Processes, systems \& tests: defining contextual equivalences	2024-12-06	Paper
Processes against tests: on defining contextual equivalences	2022-09-30	Paper
Extensional Petri net	2019-03-13	Paper
Place bisimulation and liveness for open Petri nets	2018-08-16	Paper
A Compositional Semantics for the Reversible p-Calculus	2017-07-03	Paper
Rigid Families for the Reversible $$\pi $$ -Calculus	2016-08-10	Paper
Rigid Families for CCS and the $$\pi $$ -calculus	2016-02-25	Paper
A Petri Net Model of Handshake Protocols	2014-06-27	Paper
Defining Fairness in Reactive and Concurrent Systems	2014-02-17	Paper
Probabilistic \(\pi\)-calculus and event structures	2014-01-17	Paper
Typed event structures and the \(\pi\)-calculus (extended abstract)	2013-10-10	Paper
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus	2012-06-22	Paper
Fair Adversaries and Randomization in Two-Player Games	2010-04-27	Paper
Typed event structures and the linear \(\pi \)-calculus	2010-04-22	Paper
Counterexamples in Probabilistic LTL Model Checking for Markov Chains	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3396595	2009-09-19	Paper
The Calculus of Handshake Configurations	2009-03-31	Paper
Compositional Event Structure Semantics for the Internal π-Calculus	2008-09-18	Paper
Security types for dynamic web data	2008-08-06	Paper
Semantic subtyping for the pi-calculus	2008-06-24	Paper
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths	2008-04-24	Paper
Encoding ℂDuce in the ℂπ-Calculus	2007-09-04	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Probabilistic event structures and domains	2006-09-13	Paper
Distributing probability over non-determinism	2006-05-22	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper

Research outcomes over time

This page was built for person: Daniele Varacca