Marc Bezem, Roland N. Bol, Jan Friso Groote. Formalizing Process Algebraic Verifications in the Calculus of Constructions. Formal Asp. Comput., 9(1):1-48, 1997.
@article{BezemBG97,
title = {Formalizing Process Algebraic Verifications in the Calculus of Constructions},
author = {Marc Bezem and Roland N. Bol and Jan Friso Groote},
year = {1997},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/BezemBG97},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {9},
number = {1},
pages = {1-48},
}