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