Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

6 results
hal_authIdPerson_i : 1015680
Page :
sorted by
Image document

Translating Active Objects into Colored Petri Nets for Communication Analysis

 Anastasia Gkolfi , Crystal Chang Din , Einar Broch Johnsen , Martin Steffen , Ingrid Chieh Yu
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.84-99, ⟨10.1007/978-3-319-68972-2_6⟩
Conference papers hal-01760859v1
Image document

A Calculus of Virtually Timed Ambients

 Einar Broch Johnsen , Martin Steffen , Johanna Beate Stumpf
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.88-103, ⟨10.1007/978-3-319-72044-9_7⟩
Conference papers hal-01767462v1
Image document

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

 Rudolf Schlatte , Einar Broch Johnsen , Eduard Kamburjan , Silvia Lizeth Tapia Tarifa
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-78142-2_1⟩
Conference papers hal-03387836v1
Image document

Fault in the Future

 Einar Broch Johnsen , Ivan Lanese , Gianluigi Zavattaro
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩
Conference papers hal-01582997v1

Service-Oriented and Cloud Computing

 Marco Aiello , Einar Broch Johnsen , Schahram Dustdar , Ilche Georgievski
Springer International Publishing, LNCS-9846, 2016, Lecture Notes in Computer Science, 978-3-319-44481-9. ⟨10.1007/978-3-319-44482-6⟩
Books hal-01638600v1

Service-Oriented and Cloud Computing

 Flavio de Paoli , Stefan Schulte , Einar Broch Johnsen
Springer International Publishing, LNCS-10465, 2017, Lecture Notes in Computer Science, 978-3-319-67261-8. ⟨10.1007/978-3-319-67262-5⟩
Books hal-01677615v1
Page :