Romain Demangeon

	2009
3		Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi: Mobile Processes and Termination. Semantics and Algebraic Specification 2009: 250-273
	2008
2		Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi: Static and dynamic typing for the termination of mobile processes. IFIP TCS 2008: 413-427
	2007
1		Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi: On the Complexity of Termination Inference for Processes. TGC 2007: 140-155

Coauthor Index

1	Daniel Hirschkoff	[1] [2] [3]
2	Naoki Kobayashi	[1]
3	Davide Sangiorgi	[1] [2] [3]