ESOP 1990Development of Concurrent Systems by Incremental TransformationsE. Pascal GribomontPDFDOI 10.1007/3-540-52592-0_62dblpBibTeXNo abstract available.