Crystal Chang Din

Available identifiers

zbMath Open din.crystal-changMaRDI QIDQ444462

List of research outcomes

Publication	Date of Publication	Type
Asynchronous Cooperative Contracts for Cooperative Scheduling	2024-03-14	Paper
Translating active objects into colored Petri nets for communication analysis	2022-11-04	Paper
Locally abstract, globally concrete semantics of concurrent programming languages	2018-02-02	Paper
A Dynamic Logic with Traces and Coinduction	2015-12-11	Paper
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS	2015-12-02	Paper
Compositional reasoning about active objects with shared futures	2015-11-10	Paper
A sound and complete reasoning system for asynchronous communication with shared futures	2014-10-23	Paper
Compositional Reasoning about Shared Futures	2013-01-08	Paper
Observable behavior of distributed systems: component reasoning for concurrent objects	2012-08-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Crystal Chang Din