Computer Science, Swansea
Icon  Name                    Last modified      Size  Description
[   ] TPCG2014.pdf 30-May-2017 16:14 428K [   ] acm96.pdf 30-May-2017 16:14 1.2M [TXT] 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 [   ] 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 [   ] 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