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

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: Daniel Hirschkoff