Person:2423751

Available identifiers

zbMath Open hildebrandt.thomas-tMaRDI QIDQ2423751

List of research outcomes

Publication	Date of Publication	Type
Declarative choreographies and liveness	2024-02-06	Paper
Transforming dynamic condition response graphs to safe Petri nets	2023-11-16	Paper
Comparing transition systems with independence and asynchronous transition systems	2023-06-28	Paper
Business Process Compliance Using Reference Models of Law	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5216075	2020-02-14	Paper
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes	2019-12-19	Paper
A stable non-interleaving early operational semantics for the pi-calculus	2019-06-20	Paper
Replication, refinement \& reachability: complexity in dynamic condition-response graphs	2018-09-06	Paper
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus	2017-06-01	Paper
Declarative event based models of concurrency and refinement in psi-calculi	2016-04-20	Paper
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion	2016-03-03	Paper
Contracts for cross-organizational workflows as timed dynamic condition response graphs	2014-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q2852048	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2848140	2013-09-25	Paper
Nested Dynamic Condition Response Graphs	2012-06-29	Paper
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming	2009-07-24	Paper
On the Construction of Sorted Reactive Systems	2008-11-25	Paper
Sortings for Reactive Systems	2007-09-04	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
A CPS encoding of name-passing in higher-order mobile embedded resources	2006-05-29	Paper
A relational model of non-deterministic dataflow	2005-02-28	Paper
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4484493	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2763547	2002-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4499229	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4251929	2000-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q4941914	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4353639	1997-09-10	Paper

Research outcomes over time

This page was built for person: Thomas Troels Hildebrandt