The following pages link to Rasmus L. Petersen (Q288813):
Displayed 14 items.
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- A divide-and-conquer approach for analysing overlaid data structures (Q2441710) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- (Q2852350) (← links)
- Abstract Modelling of Tethered DNA Circuits (Q2921478) (← links)
- Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours (Q2948406) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
- Linear Abadi and Plotkin Logic (Q5310673) (← links)
- Runtime Verification Based on Register Automata (Q5326330) (← links)
- A Realizability Model for Impredicative Hoare Type Theory (Q5458408) (← links)
- (Q5458501) (← links)
- Canonical Labelling of Site Graphs (Q6242581) (← links)