Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Uwe Nestmann

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Sébastien Briais

> Home > Persons > Uwe Nestmann

Publications

2007
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BriaisN07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BriaisN07a
Sébastien Briais, Uwe Nestmann:
Open bisimulation, revisited. Theor. Comput. Sci. 386(3): 236-271 (2007)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BriaisN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BriaisN07
Sébastien Briais, Uwe Nestmann:
A formal semantics for protocol narrations. Theor. Comput. Sci. 389(3): 484-511 (2007)
2005
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BriaisN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BriaisN05
Sébastien Briais, Uwe Nestmann:
A Formal Semantics for Protocol Narrations. TGC 2005: 163-181
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BriaisN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BriaisN06
Sébastien Briais, Uwe Nestmann:
Open Bisimulation, Revisited. EXPRESS 2005: 109-123
2004
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BorgstromBN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BorgstromBN04
Johannes Borgström, Sébastien Briais, Uwe Nestmann:
Symbolic Bisimulation in the Spi Calculus. CONCUR 2004: 161-176
2002
[c11]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fmoods/BriaisN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BriaisN02
Sébastien Briais, Uwe Nestmann:
Mobile Objects "Must" Move Safely. FMOODS 2002: 129-146

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.