@inproceedings{c88770c7877a4c61a536167807f122db,
title = "On proving communication closedness of distributed layers",
abstract = "The notion of communication closed layer has been introduced as a way to define structured composition of distributed systems. An interesting question is how to verify the closedness of a layer. We formulate a proof rule proving closedness of a distributed layer. The rule is developed as an extension of the Apt, Francez and de Roever proof system for CSP. The extension is proved to be sound and relatively complete.",
author = "R.T. Gerth and L. Shrira",
year = "1986",
doi = "10.1007/3-540-17179-7_20",
language = "English",
isbn = "3-540-17179-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "330--343",
editor = "K.S. Nori",
booktitle = "Foundations of software technology and theoretical computer science (Proceedings 6th Conference, New Delhi, India, December 18-20, 1986)",
address = "Germany",
}