174
click to vote
FORTE
2013
10 years 10 months 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...