Computing Publications

Publications Home » Keywords » Concurrency

Publications matching Concurrency
What are feeds?
All feeds

Concurrency

Journal Article

Probabilistic Mobile Ambients [PDF]
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 [PDF]
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 [PDF]
Khilan Gudka, Tim Harris, Susan Eisenbach
Eurepean Conference for Object-Oriented Programming
June, 2012
A Sip of the Chalice [PDF]
Azalea Raad
FTfJP 2011
ACM Digital Library, ACM Press
July, 2011
A Sip of the Chalice [PDF]
Azalea Raad, Sophia Drossopoulou
July, 2011
Parameterised Multiparty Session Types [PDF]
Andi Bejleri, Pierre-Malo , 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 [PDF]
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 [PDF]
J.W. Ayres, Susan Eisenbach
International Workshop on Multicore Software Engineering (IWMSE)
May, 2009
Keep Off The Grass: Locking the Right Path for Atomicity [PDF]
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 [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
VAMP 07
pp.20–51
September, 2007
On the Execution of Ambients [PDF]
Matthew Sackman, Susan Eisenbach
MTCoord 2007
June, 2007

PhD Thesis

On The Design of Chorded Languages [PDF]
Alexis Petrounias
Imperial College London
December, 2008

Department of Computing Technical Report

A Featherweight Model for Chorded Languages [PDF]
Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach
December, 2008

BibTeX file for these publications

 

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