Richard Carlsson (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst. 28(4): 715-746 (2006)

2 Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message Analysis for Concurrent Languages. SAS 2003: 73-90

Selection of 2 from 8 records - Richard Carlsson has 12 coauthors

6		Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst. 28(4): 715-746 (2006)
2		Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message Analysis for Concurrent Languages. SAS 2003: 73-90