Algebra of communicating processes with abstraction

   page       BibTeX_logo.png   
@article{commproc-tcs37,
Author = {Bergstra, Jan A. and Klop, Jan Willem},
Doi = {10.1016/0304-3975(85)90088-X},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Pages = {77--121},
Title = {Algebra of communicating processes with abstraction},
Url = {http://www.sciencedirect.com/science/article/pii/030439758590088X},
Volume = 37,
Year = 1985}