The following pages link to Stefan Blom (Q1630042):
Displayed 18 items.
- An abstraction technique for describing concurrent program behaviour (Q1630044) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- Resource Protection Using Atomics (Q2789050) (← links)
- (Q2842853) (← links)
- (Q2843930) (← links)
- (Q2845494) (← links)
- (Q2851074) (← links)
- (Q4364384) (← links)
- (Q4449168) (← links)
- (Q4551157) (← links)
- A complete proof system for Nested Term Graphs (Q4645805) (← links)
- (Q4806211) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898164) (← links)
- Rewriting Techniques and Applications (Q5901570) (← links)
- Perspectives of System Informatics (Q5902411) (← links)