C
urrent
R
esearch
I
nformation
S
ys
T
em
I
n
N
orway
English version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
Tilbake til søk
Kort format
Fullt format
Eksporter til
EndNote
Reference Manager
PDF
Viser treff 1-1 av 1
1
.
Hildebrandt, Thomas
; Johansen, Christian
; Normann, Håkon
.
A stable non-interleaving early operational semantics for the Pi-calculus.
Lecture Notes in Computer Science (LNCS)
2017 ;Volum 10168 LNCS. s. 51-63
UiO
Untitled
Cristin v1.2.6, 17.03.2022
[
drift@cristin.no
]