P SA / Cambridge University Press / MIT Press / coalgebra SA / CONCUR / /
Country
United States / Netherlands / United Kingdom / /
Currency
pence / / /
Facility
University of Helsinki / University of Aarhus / Riccardo Pucella Northeastern University / Their Logics1 Alexander Kurz University of Leicester / /
IndustryTerm
component-based software development / canonical solution / category theoretic solution / unlabelled transition systems / modal operator / dynamic systems / machinery / verification tools / software components / boolean operators / probabilistic transition systems / proof systems / namely systems / transition systems / /
Organization
Cambridge University / University of Leicester / University of Aarhus / MIT / Riccardo Pucella Northeastern University Boston / University of Helsinki / J. Univ. / Stanford / /
Person
Jocelyne Rouyer-Degli / Karl Crary / Alexander Kurz / Pierre Lescanne / AL OO OOO OO / Robert Harper / / /
Position
fully-abstract domain model for the π-calculus / canonical representative / General / fully-abstract model for the π-calculus / /