Detecting deadlocks in concurrent systems

Publikation: Bog/antologi/afhandling/rapportRapportForskning

51 Citationer (Scopus)
OriginalsprogEngelsk
Udgivelses stedSaclay, France
ForlagLETI (CEA-Technologies Avancées)
StatusUdgivet - 1998
NavnRapport DTA/LETI/DEIN/SLA/98-61

Citer dette

Fajstrup, L., Goubault, E., & Raussen, M. (1998). Detecting deadlocks in concurrent systems. Saclay, France: LETI (CEA-Technologies Avancées). Rapport DTA/LETI/DEIN/SLA/98-61
Fajstrup, Lisbeth ; Goubault, Eric ; Raussen, Martin. / Detecting deadlocks in concurrent systems. Saclay, France : LETI (CEA-Technologies Avancées), 1998. (Rapport DTA/LETI/DEIN/SLA/98-61).
@book{30e7be809cb111db8ed6000ea68e967b,
title = "Detecting deadlocks in concurrent systems",
author = "Lisbeth Fajstrup and Eric Goubault and Martin Raussen",
year = "1998",
language = "English",
publisher = "LETI (CEA-Technologies Avanc{\'e}es)",

}

Fajstrup, L, Goubault, E & Raussen, M 1998, Detecting deadlocks in concurrent systems. Rapport DTA/LETI/DEIN/SLA/98-61, LETI (CEA-Technologies Avancées), Saclay, France.

Detecting deadlocks in concurrent systems. / Fajstrup, Lisbeth; Goubault, Eric; Raussen, Martin.

Saclay, France : LETI (CEA-Technologies Avancées), 1998.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

TY - RPRT

T1 - Detecting deadlocks in concurrent systems

AU - Fajstrup, Lisbeth

AU - Goubault, Eric

AU - Raussen, Martin

PY - 1998

Y1 - 1998

M3 - Report

BT - Detecting deadlocks in concurrent systems

PB - LETI (CEA-Technologies Avancées)

CY - Saclay, France

ER -

Fajstrup L, Goubault E, Raussen M. Detecting deadlocks in concurrent systems. Saclay, France: LETI (CEA-Technologies Avancées), 1998. (Rapport DTA/LETI/DEIN/SLA/98-61).