Ian Stark

Available identifiers

zbMath Open stark.ianWikidataQ98058496 ScholiaQ98058496MaRDI QIDQ2453208

List of research outcomes

Publication	Date of Publication	Type
Certified complexity (CerCo)	2016-01-07	Paper
A logic of behaviour in context	2014-06-06	Paper
Grail: a functional form for imperative mobile code	2013-08-27	Paper
A distributed \(\pi\)-calculus with local areas of communication	2013-05-10	Paper
Encoding distributed areas and local communication into the \(\pi \)-calculus	2013-04-26	Paper
Safety Guarantees from Explicit Resource Management	2009-02-12	Paper
Free-algebra models for the \(\pi \)-calculus	2008-03-05	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q3024917	2005-07-04	Paper
Operational reasoning for functions with local state	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q3837986	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4362963	1997-11-13	Paper

Research outcomes over time

This page was built for person: Ian Stark