@article{Baeten_1988,
doi = {10.1016/0890-5401(88)90027-2},
url = {https://doi.org/10.1016%2F0890-5401%2888%2990027-2},
year = {1988},
month = {sep},
publisher = {Elsevier {BV}},
volume = {78},
number = {3},
pages = {205--245},
author = {J.C.M. Baeten and J.A. Bergstra},
title = {Global renaming operators in concrete process algebra},
journal = {Information and Computation}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A