2
Published 1995
Springer Berlin Heidelberg

3
Published 1992
Springer Berlin Heidelberg
... programming: three papers. Models: three papers areconcerned with models for concurrent systems...