Index of /afs/cs.cmu.edu/user/brookes/www/papers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]CMU-CS-91-157.pdf2008-07-07 11:33 27M 
[ ]synctraces.pdf2008-07-07 11:33 188K 
[ ]variables-as-resources-revised-again.pdf2008-07-07 11:33 290K 
[ ]seplogicrevisedfinal.pdf2008-07-07 11:33 384K 
[ ]seqlstabletalk.pdf2008-07-07 11:33 101K 
[ ]mfpsxxi-brookesrevised.pdf2008-07-07 11:33 310K 
[ ]parallelalgoltalk.pdf2008-07-07 11:33 139K 
[ ]mfps98paper.pdf2008-07-07 11:33 290K 
[ ]mfps98slides.pdf2008-07-07 11:33 93K 
[ ]mfps99revised.pdf2008-07-07 11:33 220K 
[ ]mfps999.pdf2008-07-07 11:33 106K 
[ ]mfps22-brookes.pdf2008-07-07 11:34 301K 
[ ]mfps2007talk.pdf2008-07-07 11:34 3.2M 
[ ]mfps2007paper.pdf2008-07-07 11:34 229K 
[ ]mfps2006tutorial.pdf2008-07-07 11:34 4.5M 
[ ]mfps2006talk.pdf2008-07-07 11:34 2.9M 
[ ]mfps18talk.pdf2008-07-07 11:34 91K 
[ ]mfps2001.pdf2008-07-07 11:34 141K 
[ ]luganopractical.pdf2008-07-07 11:34 386K 
[ ]mfps16paper.pdf2008-07-07 11:34 207K 
[ ]lugano2007grayscale.pdf2008-07-07 11:34 7.1M 
[ ]lics96slides.pdf2008-07-07 11:34 106K 
[ ]leicester-tcs.pdf2008-07-07 11:34 354K 
[ ]lics96journalrevised8-12-02.pdf2008-07-07 11:34 232K 
[ ]hoare.pdf2008-07-07 11:34 172K 
[ ]kmcq.pdf2008-07-07 11:34 169K 
[ ]ksu1.pdf2008-07-07 11:34 76K 
[ ]ksu2.pdf2008-07-07 11:34 98K 
[ ]geocalslides.pdf2008-07-07 11:34 3.7M 
[ ]essenceofcsptalk.pdf2008-07-07 11:34 94K 
[ ]galway.pdf2008-07-07 11:34 127K 
[ ]csp25.pdf2008-07-07 11:34 170K 
[ ]csp25slides.pdf2008-07-07 11:34 354K 
[ ]edinburgh.pdf2008-07-07 11:34 119K 
[ ]concur2002rev.pdf2008-07-07 11:34 238K 
[ ]concur2002slides.pdf2008-07-07 11:34 142K 
[ ]concur2004tutorialpaper.pdf2008-07-07 11:34 229K 
[ ]MFPS97revised.pdf2008-07-07 11:34 332K 
[ ]MFPS97slides.pdf2008-07-07 11:34 91K 
[ ]bertinoroproceedings.pdf2008-07-07 11:34 148K 
[ ]CMU-CS-98-156.pdf2008-07-07 11:34 325K 
[ ]CMU-CS-97-124.pdf2008-07-07 11:34 19M 
[ ]CMU-CS-93-163.pdf2008-07-07 11:35 11M 
[ ]CMU-CS-92-121.pdf2008-07-07 11:35 32M 
[ ]CMU-CS-91-190.pdf2008-07-07 11:36 17M 
[ ]CMU-CS-91-160.pdf2008-07-07 11:37 16M 
[ ]CMU-CS-91-159.pdf2008-07-07 11:37 13M 
[ ]variables-as-resources-revised.pdf2008-07-07 11:38 226K 
[ ]mfps96dancancet.pdf2008-07-07 16:04 3.9M 
[ ]UsingFixedPointSemantics.pdf2008-07-08 10:15 4.3M 
[ ]TheEssence-of-ParallelAlgol.pdf2008-07-08 10:17 8.0M 
[ ]ATheoryOfCSP.pdf2008-07-08 11:31 9.9M 
[ ]DeadlockAnalysis.pdf2008-07-08 11:32 9.5M 
[ ]HistoricalIntroduction.pdf2008-07-08 11:34 2.1M 
[ ]ImprovedFailures.pdf2008-07-08 11:34 7.0M 
[ ]mfpsxxslides.pdf2008-07-08 13:18 655K 
[ ]mfps16.pdf2008-07-08 14:02 91K 
[ ]objects98-2008.pdf2008-07-08 14:07 79K 
[ ]bertinoro-slides.pdf2008-07-08 14:21 1.5M 
[ ]concurrentpermissionlogic.pdf2008-07-08 14:30 3.8M 
[ ]concur2004blackslides.pdf2008-07-08 14:33 6.2M 
[ ]CompComonads.pdf2008-07-08 15:42 10M 
[ ]Towards-TCS.pdf2008-07-08 15:45 10M 
[ ]AxTrConc.pdf2008-07-08 15:49 8.0M 
[ ]AxTrPCDeadlock.pdf2008-07-08 15:53 9.4M 
[ ]MonadsComonads.pdf2008-07-08 15:55 8.7M 
[ ]sharing.pdf2008-07-08 15:57 14M 
[IMG]steve_thumb.jpg2008-07-09 09:29 9.9K 
[ ]TCSPAbstract.pdf2008-07-09 09:54 281K 
[ ]mfps2007abstract.rtf2008-07-09 10:05 1.0K 
[ ]seplogicrevisedfinal-abstract.rtf2008-07-09 10:08 1.2K 
[ ]variables-as-resources-abstract.rtf2008-07-09 10:16 1.9K 
[ ]mfpsxxi-abstract.rtf2008-07-09 10:24 2.0K 
[ ]bertinoro-abstract.rtf2008-07-09 10:25 1.7K 
[ ]concur2004tutorial-abstract.rtf2008-07-09 10:27 1.2K 
[ ]csp25-abstract.rtf2008-07-09 10:28 1.9K 
[DIR]Essence-abstract.rtfd/2008-07-09 10:34 -  
[ ]concur2002-abstract.rtf2008-07-09 10:40 3.0K 
[ ]mfps201-abstract.rtf2008-07-09 10:41 2.9K 
[ ]mfps16-abstract.rtf2008-07-09 10:43 2.5K 
[ ]mfps99-abstract.rtf2008-07-09 10:44 2.4K 
[DIR]lics96-abstract.rtfd/2008-07-09 10:46 -  
[ ]hoare-abstract.rtf2008-07-09 10:48 2.6K 
[ ]mfps98-abstract.rtf2008-07-09 10:55 2.5K 
[ ]mfps97-abstract.rtf2008-07-09 11:11 2.3K 
[DIR]mfps96-abstract.rtfd/2008-07-09 11:13 -  
[ ]CMU-CS-95-163.pdf2008-07-09 11:14 119M 
[DIR]UsingFixedPointSemantics-abstract.rtfd/2008-07-09 11:18 -  
[ ]CMU-CS-98-135.pdf2008-07-09 11:19 1.0M 
[DIR]MonadsComonads-abstract.rtfd/2008-07-09 11:21 -  
[DIR]DeadlockAnalysis-abstract.rtfd/2008-07-09 11:23 -  
[DIR]CMU-CS-91-159-abstract.rtfd/2008-07-09 11:25 -  
[DIR]CMU-CS-93-163-abstract.rtfd/2008-07-09 11:26 -  
[ ]CMU-CS-99-172.pdf2008-07-09 11:28 1.1M 
[ ]OperationalSemanticsCSP.pdf2008-07-09 11:31 7.2M 
[ ]FullAbstractionStronglyFair.pdf2008-07-09 11:32 5.8M 
[ ]FullAbstractionSharedVariable.pdf2008-07-09 11:33 6.4M 
[ ]BehavioralEquivalenceRelations.pdf2008-07-09 11:40 4.2M 
[ ]SemanticallyBasedAxiomatics.pdf2008-07-09 11:41 6.8M 
[ ]SequentialAlgorithmsDancanet.pdf2008-07-09 11:44 4.2M 
[ ]PossibleFutures.pdf2008-07-09 11:45 3.4M 
[ ]ModelCommunicatingSequentialProcesses.pdf2008-07-09 11:48 39M 
[DIR]BehavioralEquivalenceRelations-abstract.rtfd/2008-07-09 11:54 -  
[DIR]PossibleFutures-abstract.rtfd/2008-07-09 11:55 -  
[DIR]SemanticallyBasedAxiomatics-abstract.rtfd/2008-07-09 11:57 -  
[DIR]SequentialAlgorithmsDancanet-abstract.rtfd/2008-07-09 11:59 -  
[DIR]SemanticallyBasedProofSystem-abstract.rtfd/2008-07-09 12:01 -  
[ ]cpp.pdf2008-07-09 13:05 160K 
[ ]mfps94talk.pdf2008-07-09 14:09 66K 
[DIR]FullAbstractionStronglyFair-abstract.rtfd/2008-07-09 14:10 -  
[DIR]FullAbstractionSharedVariable-abstract.rtfd/2008-07-09 14:19 -  
[ ]lics93final.pdf2008-07-09 14:28 191K 
[ ]oxfordtalk.pdf2008-07-09 14:45 88K 
[DIR]lics93-abstract.rtfd/2008-07-09 14:45 -  
[ ]CMU-CS-03-150.pdf2008-07-09 14:48 1.0M 
[DIR]Relationship-abstract.rtfd/2008-07-09 15:05 -  
[DIR]Towards-TCS-abstract.rtfd/2008-07-09 15:33 -  
[DIR]ATheoryOfCSP-abstract.rtfd/2008-07-09 15:36 -  
[DIR]ImprovedFailures-abstract.rtfd/2008-07-09 15:37 -  
[DIR]AxTrConc-abstract.rtfd/2008-07-09 15:38 -  
[DIR]sharing-abstract.rtfd/2008-07-09 15:39 -  
[DIR]AxTrPCDeadlock-abstract.rtfd/2008-07-09 15:40 -  
[DIR]leicester-tcs-abstract.rtfd/2008-07-09 15:43 -  
[DIR]CMU-CS-91-160-abstract.rtfd/2008-07-09 15:45 -  
[DIR]CompComonads-abstract.rtfd/2008-07-09 15:46 -  
[DIR]CMU-CS-92-121-abstract.rtfd/2008-07-09 15:48 -  
[ ]mfps18-abstract.rtf2008-07-09 16:30 589  
[ ]CMU-CS-96-204.pdf2008-07-09 18:06 1.1M 
[DIR]thesis-abstract.rtfd/2008-07-09 18:07 -  
[ ]SundayJuly13Dinner.rtf2008-07-10 15:06 520  
[ ]faircsp.pdf2008-07-28 14:43 524K 
Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 80