Corin Pitcher

From MaRDI portal
Person:2936241

Available identifiers

zbMath Open pitcher.corinMaRDI QIDQ2936241

List of research outcomes





PublicationDate of PublicationType
An extensible approach to session polymorphism2016-07-28Paper
Noninterference for Intuitionist Necessity2015-01-06Paper
Quarantining weakness. Compositional reasoning under relaxed memory models (extended abstract)2013-08-05Paper
Generative operational semantics for relaxed memory models2010-05-04Paper
Open Bisimulation for Aspects2009-06-30Paper
Lambda-RBAC: Programming with Role-Based Access Control2008-08-07Paper
λ-RBAC: Programming with Role-Based Access Control2007-09-11Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q42229251999-01-05Paper

Research outcomes over time

This page was built for person: Corin Pitcher

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2936241&oldid=7297445"
Powered by MediaWiki