Compositional reasoning about aspect interference
Author(s) -
Ismael Figueroa,
Tom Schrijvers,
Nicolas Tabareau,
Éric Tanter
Publication year - 2014
Publication title -
lirias (ku leuven)
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.1145/2584469.2577093
Subject(s) - computer science , interference (communication) , telecommunications , channel (broadcasting)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom