209
Voted
FORTE
2013
11 years 10 days ago
2013
Abstract. Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In se...