BibTex format
@inproceedings{Darlington:1994,
author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Formalising Actors in Linear Logic},
year = {1994}
}
Several of our current PhD candidates and fellow researchers at the Data Science Institute have published, or in the proccess of publishing, papers to present their research.
@inproceedings{Darlington:1994,
author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Formalising Actors in Linear Logic},
year = {1994}
}
TY - CPAPER
AU - Darlington,J
AU - Guo,Y
PB - Springer-Verlag
PY - 1994///
TI - Formalising Actors in Linear Logic
ER -