Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Eduard Kamburjan
Joint Papers
Knowledge Structures over Simulation Units
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Programming and Debugging with Semantically Lifted States
Behavioral Contracts for Cooperative Scheduling
Asynchronous Cooperative Contracts for Cooperative Scheduling
Cite
×