The following pages link to Immo Grabe (Q444505):
Displayed 5 items.
- Termination detection for active objects (Q444506) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Executable Interface Specifications for Testing Asynchronous Creol Components (Q3400930) (← links)
- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs (Q3401092) (← links)
- Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic (Q3508509) (← links)