Sciweavers

CONCUR
2009
Springer

85views Distributed And Parallel Com...» more CONCUR 2009»

15 years 9 months ago

Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with

Sergueï Lenglet, Alan Schmitt, Jean-Bernard S...

claim paper

Read More »