Concepedia

Crystal Chang Din

CC

Statistics

Publications

3

Citations

90

H-Index

3

Active since

2012

Affiliations

University of Oslo(Current)

Crystal Chang Din is an author at University of Oslo specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2012–2014

3

Publications

3

Compositional reasoning about active objects with shared futures

Crystal Chang Din, Olaf Owe · Formal Aspects of Computing · 2014 · 36 citations · Full text

, , +10

Observable behavior of distributed systems: Component reasoning for concurrent objects

Crystal Chang Din, Johan Dovland, Einar Broch Johnsen et al. · The Journal of Logic and Algebraic Programming · 2012 · 32 citations · Full text

, , +15

A sound and complete reasoning system for asynchronous communication with shared futures

Crystal Chang Din, Olaf Owe · Journal of Logical and Algebraic Methods in Programming · 2014 · 22 citations

, , +13

1–3 of 3