@inproceedings{FoSSaCS-2004-GiambiagiSV,
author = "Pablo Giambiagi and Gerardo Schneider and Frank D. Valencia",
booktitle = "{Proceedings of the Seventh International Conference on Foundations of Software Science and Computation Structures}",
doi = "10.1007/978-3-540-24727-2_17",
isbn = "3-540-21298-1",
pages = "226--240",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi}",
volume = 2987,
year = 2004,
}
Tags: