Search

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
Crystal Chang Din

Crystal Chang Din

Assoc. Professor

University of Bergen

Latest

  • Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
  • Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
  • Behavioral Contracts for Cooperative Scheduling
  • Asynchronous Cooperative Contracts for Cooperative Scheduling
  • Translating active objects into colored Petri nets for communication analysis
  • A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
  • A Survey of Active Object Languages
  • Translating Active Objects into Colored Petri Nets for Communication Analysis
  • Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
  • History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
  • Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects

© 2025 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite
Copy Download