Types for active objects with static deadlock prevention

Fundamenta Informaticae

Volumn 48, Issue 4, 2001, Pages 315-341

  Puntigam, Franz ^a   Peter, Christof ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Concurrency; Deadlocks; Object calculus; Subtyping; Types

Indexed keywords

EID: 0035711832     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (43)