Diego Latella, Paola Quaglia
A Fully Parallel Calculus of Synchronizing Processes
TAPSOFT, 1993.
@inproceedings{TAPSOFT-1993-LatellaQ, author = "Diego Latella and Paola Quaglia", booktitle = "{Proceedings of the Fifth International Joint Conference on Theory and Practice of Software Development}", doi = "10.1007/3-540-56610-4_101", isbn = "3-540-56610-4", pages = "732--745", publisher = "{Springer}", title = "{A Fully Parallel Calculus of Synchronizing Processes}", year = 1993, }