@inproceedings{76c02af0958411dd868b000ea68e967b,
title = "Failures Semantics for a Simple Process Language with Refinement",
author = "Luca Aceto and Engberg, {Uffe Henrik}",
year = "1991",
language = "English",
isbn = "3-540-54967-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer LNCS",
pages = "89--108",
editor = "Somenath Biswas and Nori, {Kesav V.}",
booktitle = "FSTTCS '91",
note = "Foundations of Software Technology and Theoretical Computer Science ; Conference date: 17-12-1991 Through 19-12-1991",
}