The following pages link to Thomas Troels Hildebrandt (Q2423751):
Displaying 29 items.
- (Q272300) (redirect page) (← links)
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- (Q1398464) (redirect page) (← links)
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- (Q2763547) (← links)
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion (Q2790164) (← links)
- (Q2848140) (← links)
- (Q2852048) (← links)
- Nested Dynamic Condition Response Graphs (Q2894574) (← links)
- On the Construction of Sorted Reactive Systems (Q3541020) (← links)
- (Q4251929) (← links)
- (Q4353639) (← links)
- (Q4484493) (← links)
- (Q4499229) (← links)
- A relational model of non-deterministic dataflow (Q4653016) (← links)
- (Q4941914) (← links)
- Business Process Compliance Using Reference Models of Law (Q5039540) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- (Q5216075) (← links)
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (Q5325767) (← links)
- A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
- Sortings for Reactive Systems (Q5756600) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897765) (← links)
- Foundations of Software Science and Computation Structures (Q5899088) (← links)
- Transforming dynamic condition response graphs to safe Petri nets (Q6535206) (← links)
