The following pages link to Andreas Grüner (Q843205):
Displaying 5 items.
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Abstract Interface Behavior of Object-Oriented Languages with Monitors (Q4989491) (← links)
- Formal Methods for Components and Objects (Q5897455) (← links)
- Logical Approaches to Computational Barriers (Q5898797) (← links)
