×
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
Co-Authors: 8 Co-Authors with 7 Joint Publications
123 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 24 times in 17 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 1465.68174
Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner
4
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
2
2014
Key-ABS: a deductive verification tool for the concurrent modelling language ABS. Zbl 1465.68174
Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner
4
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
2
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