Computer Science, Swansea
Name Last modified Size Description
TPCG2014.pdf 30-May-2017 16:14 428K
acm96.pdf 30-May-2017 16:14 1.2M
acm96A.html 30-May-2017 16:14 9.0K ACM Computing Surveys : Logics for Concurrency: Structure Versus Automata
acm96A.pdf 30-May-2017 16:14 81K
aess97.pdf 30-May-2017 16:14 719K
aess97.ps 30-May-2017 16:14 167K
avocs12.pdf 30-May-2017 16:14 229K
avocs14.pdf 30-May-2017 16:14 77K
bcs08.pdf 30-May-2017 16:14 130K
bisimredux.pdf 30-May-2017 16:14 264K
calco-jnr05.pdf 30-May-2017 16:14 297K
cep19.pdf 17-Jan-2019 13:55 367K
concur03.ps 30-May-2017 16:14 177K
concur96.ps 30-May-2017 16:14 264K
concur99.ps 30-May-2017 16:14 267K
countctl.pdf 30-May-2017 16:14 249K
csl06.pdf 30-May-2017 16:14 195K
entcs09.pdf 30-May-2017 16:14 283K
entcs98.ps 30-May-2017 16:14 282K
forms14.pdf 30-May-2017 16:14 249K
fwfm13.pdf 30-May-2017 16:14 156K
handbook01.pdf 30-May-2017 16:14 762K
hvc12.pdf 30-May-2017 16:14 401K
hvc12old.pdf 30-May-2017 16:14 352K
ifm12.pdf 30-May-2017 16:14 297K
infinity04.pdf 30-May-2017 16:14 48K
isola16.pdf 30-May-2017 16:14 172K
issep16.pdf 30-May-2017 16:14 186K
jce18.pdf 26-Nov-2018 08:30 599K
jcss99.ps 30-May-2017 16:14 281K
lics99.ps 30-May-2017 16:14 146K
milner00.ps 30-May-2017 16:14 189K
mscs96.ps 30-May-2017 16:14 153K
oca.ps 30-May-2017 16:14 416K
oca2.pdf 30-May-2017 16:14 304K
roscoe16.pdf 05-Jun-2017 10:48 494K
scp14.pdf 30-May-2017 16:14 460K
sefm14a.pdf 30-May-2017 16:14 712K
sefm14b-bac.pdf 30-May-2017 16:14 344K
sefm14b.pdf 30-May-2017 16:14 395K
sofsem99.pdf 30-May-2017 16:14 265K
sofsem99.ps 30-May-2017 16:14 182K
stacs00.ps 30-May-2017 16:14 238K
sttt14.pdf 30-May-2017 16:14 1.7M
tcs01.ps 30-May-2017 16:14 3.3M
tcs96.ps 30-May-2017 16:14 254K
wipsce12.pdf 30-May-2017 16:14 103K
wipsce15.pdf 30-May-2017 16:14 195K