Howe's Method for Calculi with Passivation

14 years 7 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

CONCUR 2009 | Distributed And Parallel Computing | Howe’s Method |

claim paper

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	CONCUR
Authors	Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

Comments (0)