Takashi Suto
According to our database1,
Takashi Suto
authored at least 2 papers
between 2007 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
2007
Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the <i>pi</i> -Calculus.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007