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