Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
534263
Sist endret:
21. januar 2015, 15:07
Resultat
Vitenskapelig antologi/Konferanseserie
2010
Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10
Marina Walden
og
Luigia Petre
Utgiver/serie
Utgiver/serie
Utgiver
TUCS
Serie
TUCS General Publications
ISSN 1239-1905
Om resultatet
Om resultatet
Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2010
Hefte: 57
ISBN: 978-952-12-2478-2
Lenker
Lenker
ORIA
Søk i ORIA med 978-952-12-2478-2
Beskrivelse
Beskrivelse
Engelsk
Tittel
Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10
Bidragsytere
Bidragsytere
Marina Walden
Redaktør
Luigia Petre
Redaktør
1
-
2
av
2
Kapitler/Artikler
Kapitler/Artikler
Deployment Components with Parametric Concurrency.
Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. 2010, UIO
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Safe Locking for multi-threaded Java (extended abstract).
Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. 2010, UIO
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects.
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. 2010, UIO
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Rewriting-Logic-Based Formal Modeling and Analysis of Interacting Hybrid Systems.
Fadlisyah, Muhammad; Abraham, Erika; Ølveczky, Peter Csaba. 2010, UIO
Populærvitenskapelig kapittel/artikkel
Deadlock checking by behavior inference for lock handling.
Pun, Ka I; Steffen, Martin. 2010, UIO
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
1
-
5
av
8
|
Neste
|
Siste »