×

zbMATH — the first resource for mathematics

Din, Crystal Chang

Compute Distance To:
Author ID: din.crystal-chang Recent zbMATH articles by "Din, Crystal Chang"
Published as: Din, Crystal Chang
Documents Indexed: 7 Publications since 2012

Publications by Year

Citations contained in zbMATH

5 Publications have been cited 24 times in 15 Documents Cited by Year
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Compositional reasoning about shared futures. Zbl 1315.68192
Din, Crystal Chang; Dovland, Johan; Owe, Olaf
5
2012
Key-ABS: a deductive verification tool for the concurrent modelling language ABS. Zbl 06515529
Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner
3
2015
Compositional reasoning about active objects with shared futures. Zbl 1343.68166
Din, Crystal Chang; Owe, Olaf
3
2015
A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190
Din, Crystal Chang; Owe, Olaf
3
2014
Key-ABS: a deductive verification tool for the concurrent modelling language ABS. Zbl 06515529
Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner
3
2015
Compositional reasoning about active objects with shared futures. Zbl 1343.68166
Din, Crystal Chang; Owe, Olaf
3
2015
A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190
Din, Crystal Chang; Owe, Olaf
3
2014
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Compositional reasoning about shared futures. Zbl 1315.68192
Din, Crystal Chang; Dovland, Johan; Owe, Olaf
5
2012

Citations by Year