Takashi Suto

According to our database¹, Takashi Suto authored at least 2 papers between 2007 and 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

Undecidable equivalences for basic parallel processes.

[BibT_eX]

[DOI]

Inf. Comput., 2009

2007

Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the <i>pi</i> -Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007