Daniele Varacca

From MaRDI portal
Person:667520

Available identifiers

zbMath Open varacca.danieleMaRDI QIDQ667520

List of research outcomes





PublicationDate of PublicationType
Processes, systems \& tests: defining contextual equivalences2024-12-06Paper
Processes against tests: on defining contextual equivalences2022-09-30Paper
Extensional Petri net2019-03-13Paper
Place bisimulation and liveness for open Petri nets2018-08-16Paper
A Compositional Semantics for the Reversible p-Calculus2017-07-03Paper
Rigid Families for the Reversible $$\pi $$ -Calculus2016-08-10Paper
Rigid Families for CCS and the $$\pi $$ -calculus2016-02-25Paper
A Petri Net Model of Handshake Protocols2014-06-27Paper
Defining Fairness in Reactive and Concurrent Systems2014-02-17Paper
Probabilistic \(\pi\)-calculus and event structures2014-01-17Paper
Typed event structures and the \(\pi\)-calculus (extended abstract)2013-10-10Paper
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus2012-06-22Paper
Fair Adversaries and Randomization in Two-Player Games2010-04-27Paper
Typed event structures and the linear \(\pi \)-calculus2010-04-22Paper
Counterexamples in Probabilistic LTL Model Checking for Markov Chains2009-10-22Paper
https://portal.mardi4nfdi.de/entity/Q33965952009-09-19Paper
The Calculus of Handshake Configurations2009-03-31Paper
Compositional Event Structure Semantics for the Internal π-Calculus2008-09-18Paper
Security types for dynamic web data2008-08-06Paper
Semantic subtyping for the pi-calculus2008-06-24Paper
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths2008-04-24Paper
Encoding ℂDuce in the ℂπ-Calculus2007-09-04Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
Probabilistic event structures and domains2006-09-13Paper
Distributing probability over non-determinism2006-05-22Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper

Research outcomes over time

This page was built for person: Daniele Varacca