Sibylle B. Fröschle
Composition and Decomposition in True-Concurrency
FoSSaCS, 2005.
@inproceedings{FoSSaCS-2005-Froschle, author = "Sibylle B. Fröschle", booktitle = "{Proceedings of the Eighth International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-540-31982-5_21", isbn = "3-540-25388-2", pages = "333--347", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Composition and Decomposition in True-Concurrency}", volume = 3441, year = 2005, }