Uwe Nestmann
9 published titles
Deriving complete inference systems for a class of GSOS languages generating regular behaviours
(Contributor)
1 edition
- University of Sussex, Computer Science
- 1994
- Details
On the decidability of non-interleaving process equivalences
(Contributor)
1 edition
- Computer Science, School of Cognitive and Computing Sciences, University of Sussex
- 1994
- Details
Weak bisimulations for a calculus of broadcasting systems
(Contributor)
1 edition
- University of Sussex Computer Science
- 1995
- Details
Guarded induction on final coalgebras
(Contributor)
1 edition
- Computer Science, University of Sussex
- 1998
- Details
A description of an annotation scheme to analyse anaphora in dialogues
(Contributor)
1 edition
- University of Sussex School of Cognitive and Computing Sciences
- 1998
- Details
Local [pi]-calculus at work : mobile objects as mobile processes
(Contributor)
1 edition
- Computer Science, University of Sussex
- 2001
- Details
Discriminating between input signals via single neuron activity
(Contributor)
1 edition
- Computer Science, School of Cognitive & Computing Sciences
- 2001
- Details
Denotional semantics for Abadi and Leino's logic of objects
(Contributor)
1 edition
- Department of Informatics, University of Sussex
- 2004
- Details
A distributed Kripke semantics
(Contributor)
1 edition
- Department of Informatics, University of Sussex
- 2004
- Details
