Back to Results
First PageMeta Content
Category theory / Boolean algebra / Modal logic / Algebraic logic / F-coalgebra / Coalgebra / General frame / Modal algebra / Kripke semantics / Mathematics / Abstract algebra / Mathematical logic


Open Document

File Size: 296,00 KB

Share Result on Facebook

City

Topology / Amsterdam / /

Company

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 / /

ProgrammingLanguage

J / /

ProvinceOrState

Massachusetts / /

Technology

object-oriented programming / java / /

SocialTag