Daniel Hirschkoff

Available identifiers

zbMath Open hirschkoff.danielMaRDI QIDQ225065

List of research outcomes

Publication	Date of Publication	Type
Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5089301	2022-07-18	Paper
Eager functions as processes	2022-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4965858	2021-03-10	Paper
Eager Functions as Processes	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5111623	2020-05-27	Paper
Towards `up to context' reasoning about higher-order processes	2020-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5228882	2019-08-13	Paper
Name-Passing Calculi: From Fusions to Preorders and Types	2017-07-03	Paper
Termination in a π-calculus with subtyping	2017-04-04	Paper
Name-passing calculi: from fusions to preorders and types	2016-11-18	Paper
A Behavioural Theory for a π-calculus with Preorders	2015-12-11	Paper
A behavioural theory for a \(\pi\)-calculus with preorders	2015-11-10	Paper
Symmetries and Dualities in Name-Passing Process Calculi	2015-09-08	Paper
Duality and i/o-Types in the π-Calculus	2012-09-25	Paper
Strong Normalisation in λ-Calculi with References	2012-06-29	Paper
Termination in higher-order concurrent calculi	2010-10-22	Paper
On Bisimilarity and Substitution in Presence of Replication	2010-09-07	Paper
Termination in Impure Concurrent Languages	2010-08-31	Paper
Termination in Higher-Order Concurrent Calculi	2010-01-28	Paper
Mobile Processes and Termination	2009-10-22	Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science	2009-08-06	Paper
Separability in the Ambient Logic	2008-11-13	Paper
A Distribution Law for CCS and a New Congruence Result for the pi-calculus	2008-08-07	Paper
On the Expressiveness of the Ambient Logic	2007-10-11	Paper
A Distribution Law for CCS and a New Congruence Result for the π-Calculus	2007-09-07	Paper
An efficient abstract machine for safe ambients	2007-05-23	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus	2005-02-22	Paper
A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis	2004-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4448357	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4484494	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2769442	2002-02-05	Paper
Bisimulation verification using the up to techniques	2002-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4365103	1998-03-23	Paper

Research outcomes over time

This page was built for person: Daniel Hirschkoff