Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


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