Computing Publications

Publications Home » Keywords » Concurrency

: What are feeds?; All feeds

Concurrency

Journal Article

Probabilistic Mobile Ambients: Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti; Volume 410, Issues 12–13, pp.1272–1309; Theoretical Computer Science, Elsevier; 2009

Electronic Journal Article

SCHOOL: a Small Chorded Object-Oriented Language: Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach; Electronic Notes in Theoretical Computer Science; Volume 135, Issue 3, pp.37–47; Elsevier; March, 2006

Conference and Workshop Papers

Lock Inference in the Presence of Large Libraries: Khilan Gudka, Tim Harris, Susan Eisenbach; Eurepean Conference for Object-Oriented Programming; June, 2012
A Sip of the Chalice: Azalea Raad; FTfJP 2011; ACM Digital Library, ACM Press; July, 2011
A Sip of the Chalice: Azalea Raad, Sophia Drossopoulou; July, 2011
Parameterised Multiparty Session Types: Andi Bejleri, Pierre-Malo Deniélou, Raymond Hu, Nobuko Yoshida; International Conference on Foundations of Software Science and Computation Structures; Volume 6014, Issue 2010, pp.128–145; Lecture Notes in Computer Science, Springer-Verlag; March, 2010
A general result for deriving product-form solutions in Markovian models: Andrea Marin, Maria Vigliotti; First Joint WOSP/SIPEW International; ACM International Conference Proceedings, ACM; 2010
CoBiC: Context-dependent Bioambient Calculus: Luca Borlolussi, Maria Vigliotti; international Workshop on Quantitative Aspects of Programming Languages; Volume 253, pp.187–201; Electronic Notes in Theoretical Computer Science, Elsevier; 2009
Stage: Python with Actors: J.W. Ayres, Susan Eisenbach; International Workshop on Multicore Software Engineering (IWMSE); May, 2009
Keep Off The Grass: Locking the Right Path for Atomicity: David Cunningham, Khilan Gudka, Susan Eisenbach; Compiler Construction 2008; Volume 4959, pp.276–290; Lecture Notes in Computer Science, Springer Berlin / Heidelberg; April, 2008
Universe Types for Race Safety: David Cunningham, Sophia Drossopoulou, Susan Eisenbach; VAMP 07; pp.20–51; September, 2007
On the Execution of Ambients: Matthew Sackman, Susan Eisenbach; MTCoord 2007; June, 2007

PhD Thesis

On The Design of Chorded Languages: Alexis Petrounias; Imperial College London; December, 2008

Department of Computing Technical Report

A Featherweight Model for Chorded Languages: Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach; December, 2008

BibTeX file for these publications

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.