Rob J. van Glabbeek, Frits W. Vaandrager. Modular Specification of Process Algebras. Theoretical Computer Science, 113(2):293-348, 1993.
@article{GlabbeekV93,
title = {Modular Specification of Process Algebras},
author = {Rob J. van Glabbeek and Frits W. Vaandrager},
year = {1993},
tags = {process algebra, algebraic specification, algebra},
researchr = {https://researchr.org/publication/GlabbeekV93},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {113},
number = {2},
pages = {293-348},
}