Daniele Varacca

Available identifiers

zbMath Open varacca.danieleMaRDI QIDQ667520

List of research outcomes

Publication	Date of Publication	Type
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 π-Calculus and Event Structures	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2851333	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniele Varacca