The following pages link to Open Bisimulation for Aspects (Q3636798):
Displaying 5 items.
- Complete trace models of state and control (Q2233464) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
- (Towards a) statistical probabilistic lazy lambda calculus (Q6612804) (← links)
