Sciweavers

66
Voted
CALCO
2007
Springer
110views Mathematics» more  CALCO 2007»
15 years 3 months ago
Logical Semantics of Types for Concurrency
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...
Luís Caires