## Emmanuel Beffara

*An Algebraic Process Calculus*

LICS, 2008.

@inproceedings{LICS-2008-Beffara, author = "Emmanuel Beffara", booktitle = "{Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2008.40", isbn = "978-0-7695-3183-0", pages = "130--141", publisher = "{IEEE Computer Society}", title = "{An Algebraic Process Calculus}", year = 2008, }