The following pages link to I. Stark (Q2453208):
Displayed 14 items.
- A logic of behaviour in context (Q2453209) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- (Q2704328) (← links)
- (Q2844038) (← links)
- (Q3024917) (← links)
- Certified Complexity (CerCo) (Q3460499) (← links)
- Safety Guarantees from Explicit Resource Management (Q3602994) (← links)
- (Q3837986) (← links)
- (Q4362963) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)
- Computer Science Logic (Q5311260) (← links)
- Typed Lambda Calculi and Applications (Q5704015) (← links)
- Foundations of Software Science and Computational Structures (Q5705870) (← links)