![](/img/cover-not-exists.png)
A type safe state abstraction for coordination in Java-like languages
Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia DrossopoulouVolume:
45
Language:
english
Pages:
58
DOI:
10.1007/s00236-008-0079-y
Date:
December, 2008
File:
PDF, 3.94 MB
english, 2008