106
click to vote
CALCO
2007
Springer
15 years 9 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...