Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Crystal Chang Din

Crystal Chang Din

Assoc. Professor

University of Bergen

Joint Papers

  • 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

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

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite
Copy Download