Security Engineering for Lifelong Evolvable Systems

Expressive modular fine-grained concurrency specification

TitleExpressive modular fine-grained concurrency specification
Publication TypeConference Paper
Year of Publication2011
AuthorsJacobs, B., and F. Piessens
Conference NamePrinciples of Programming Languages (POPL 2011)
Date PublishedJanuary
URLhttps://lirias.kuleuven.be/handle/123456789/278074