Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Article-Journal
Lazy Behavioral Subtyping
Journal of Logic and Algebraic Programming
79
(7): 578-607, 2010
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
,
Martin Steffen
Preprint
Cite
DOI
Backwards Type Analysis of Asynchronous Method Calls
Journal of Logic and Algebraic Programming
77
(1-2): 40-59, 2008
Einar Broch Johnsen
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae
82
(4): 341-359, 2008
Einar Broch Johnsen
,
Olaf Owe
,
Arild B. Torjusen
Preprint
Cite
URL
An Asynchronous Communication Model for Distributed Concurrent Objects
Software and Systems Modeling
6
(1): 39-58, 2007
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Structured Formal Development in Isabelle
Nordic Journal of Computing
13
: 2-21, 2006.
Maksym Bortin
,
Einar Broch Johnsen
,
Christoph Lüth
Preprint
Cite
Creol: A type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science
365
(1-2): 23-66, 2006.
Einar Broch Johnsen
,
Olaf Owe
,
Ingrid Chieh Yu
Cite
DOI
Abstracting Refinements for Transformation"
Nordic Journal of Computing
10
: 313-336, 2003
Einar Broch Johnsen
,
Christoph Lüth
Preprint
Cite
«
Cite
×