Takashi Suto

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Hans Hüttel, Naoki Kobayashi, Takashi Suto: Undecidable equivalences for basic parallel processes. Inf. Comput. 207(7): 812-829 (2009)

2007

1 Naoki Kobayashi, Takashi Suto: Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus. ICALP 2007: 740-751

	2009
2		Hans Hüttel, Naoki Kobayashi, Takashi Suto: Undecidable equivalences for basic parallel processes. Inf. Comput. 207(7): 812-829 (2009)
	2007
1		Naoki Kobayashi, Takashi Suto: Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus. ICALP 2007: 740-751

Coauthor Index

1 Hans Hüttel [2]

2 Naoki Kobayashi [1] [2]