|
@inproceedings{FIE93a, author = {Hugo Fierz and M Müller and S Netos}, title = {CIP - Communicating Interacting Processes}, address = {Poznan}, booktitle = {SAFECOMP 93, Proceedings of the 12th Int. Conference on Computer Safety, Reliability and Security}, month = {Jan}, year = {1993} }