The following pages link to Bent Thomsen (Q1177171):
Displaying 12 items.
- Partial specifications and compositional verification (Q1177172) (← links)
- Plain CHOCS. A second generation calculus for higher order processes (Q1323361) (← links)
- A theory of higher order communicating systems (Q1346714) (← links)
- Causality for debugging mobile agents (Q1806172) (← links)
- From Safety Critical Java Programs to Timed Process Models (Q3460876) (← links)
- (Q3795197) (← links)
- (Q4223779) (← links)
- (Q4431382) (← links)
- (Q4437806) (← links)
- (Q4790407) (← links)
- True concurrency semantics for a linear logic programming language with broadcast communication (Q5044735) (← links)
- From a concurrent λ-calculus to the π-calculus (Q5055881) (← links)
