Michael Factor. A Formal Specification of the Process Trellis. In Emile H. L. Aarts, Jan van Leeuwen, Martin Rem, editors, PARLE 91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Volume 506 of Lecture Notes in Computer Science, pages 277-294, Springer, 1991.
@inproceedings{Factor91, title = {A Formal Specification of the Process Trellis}, author = {Michael Factor}, year = {1991}, researchr = {https://researchr.org/publication/Factor91}, cites = {0}, citedby = {0}, pages = {277-294}, booktitle = {PARLE 91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings}, editor = {Emile H. L. Aarts and Jan van Leeuwen and Martin Rem}, volume = {506}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54152-7}, }