Search the dblp DataBase

Publications of Author

1. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain
   Bisimilarity Is Not Finitely Based over BPA with Interrupt. [Citation Graph (0, 0)][DBLP]
   CALCO, 2005, pp:52-66 [Conf]
   
2. Taolue Chen, Wan Fokkink, Sumit Nain
   On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:1-15 [Conf]
   
3. Wan Fokkink, Sumit Nain
   On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2004, pp:182-194 [Conf]
   
4. Stefan Blom, Wan Fokkink, Sumit Nain
   On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:109-118 [Conf]
   
5. Wan Fokkink, Sumit Nain
   A Finite Basis for Failure Semantics. [Citation Graph (0, 0)][DBLP]
   ICALP, 2005, pp:755-765 [Conf]
   
6. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain
   Bisimilarity is not finitely based over BPA with interrupt. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:366, n:1-2, pp:60-81 [Journal]
   
7. Sumit Nain, Moshe Y. Vardi
   Branching vs. Linear Time: Semantical Perspective. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:19-34 [Conf]
   
8. 
   Trace Semantics is Fully Abstract. [Citation Graph (, )][DBLP]