2008 |
8 | EE | Taolue Chen,
Wan Fokkink,
Bas Luttik,
Sumit Nain:
On finite alphabets and infinite bases.
Inf. Comput. 206(5): 492-519 (2008) |
2007 |
7 | EE | Sumit Nain,
Moshe Y. Vardi:
Branching vs. Linear Time: Semantical Perspective.
ATVA 2007: 19-34 |
2006 |
6 | EE | Taolue Chen,
Wan Fokkink,
Sumit Nain:
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.
FoSSaCS 2006: 1-15 |
5 | EE | Luca Aceto,
Wan Fokkink,
Anna Ingólfsdóttir,
Sumit Nain:
Bisimilarity is not finitely based over BPA with interrupt.
Theor. Comput. Sci. 366(1-2): 60-81 (2006) |
2005 |
4 | EE | Luca Aceto,
Wan Fokkink,
Anna Ingólfsdóttir,
Sumit Nain:
Bisimilarity Is Not Finitely Based over BPA with Interrupt.
CALCO 2005: 52-66 |
3 | EE | Wan Fokkink,
Sumit Nain:
A Finite Basis for Failure Semantics.
ICALP 2005: 755-765 |
2004 |
2 | EE | Wan Fokkink,
Sumit Nain:
On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds.
FoSSaCS 2004: 182-194 |
2003 |
1 | EE | Stefan Blom,
Wan Fokkink,
Sumit Nain:
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.
ICALP 2003: 109-118 |