Sciweavers

CONCUR
2009
Springer

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

15 years 24 days 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 »