@dblp

A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.

, and . CONCUR, volume 2421 of Lecture Notes in Computer Science, page 449-465. Springer, (2002)

Links and resources

Tags