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

Bidragsytere:
  • Marina Walden og
  • Luigia Petre

Utgiver/serie

Utgiver

TUCS

Serie

TUCS General Publications
ISSN 1239-1905

Om resultatet

Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2010
Hefte: 57
ISBN: 978-952-12-2478-2

Beskrivelse Beskrivelse

Tittel

Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10

Bidragsytere

Marina Walden

  • Tilknyttet:
    Redaktør

Luigia Petre

  • Tilknyttet:
    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, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Safe Locking for multi-threaded Java (extended abstract).

Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. 2010, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects.

Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. 2010, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Rewriting-Logic-Based Formal Modeling and Analysis of Interacting Hybrid Systems.

Fadlisyah, Muhammad; Abraham, Erika; Ølveczky, Peter Csaba. 2010, UIOPopulærvitenskapelig kapittel/artikkel

Deadlock checking by behavior inference for lock handling.

Pun, Ka I; Steffen, Martin. 2010, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 5 av 8 | Neste | Siste »