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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [DIR] ATheoryOfCSP-abstrac..> 09-Jul-2008 15:36 - [   ] ATheoryOfCSP.pdf 08-Jul-2008 11:31 9.9M [DIR] AxTrConc-abstract.rtfd/ 09-Jul-2008 15:38 - [   ] AxTrConc.pdf 08-Jul-2008 15:49 8.0M [DIR] AxTrPCDeadlock-abstr..> 09-Jul-2008 15:40 - [   ] AxTrPCDeadlock.pdf 08-Jul-2008 15:53 9.4M [DIR] BehavioralEquivalenc..> 09-Jul-2008 11:54 - [   ] BehavioralEquivalenc..> 09-Jul-2008 11:40 4.2M [   ] CMU-CS-03-150.pdf 09-Jul-2008 14:48 1.0M [   ] CMU-CS-91-157.pdf 07-Jul-2008 11:33 27M [DIR] CMU-CS-91-159-abstra..> 09-Jul-2008 11:25 - [   ] CMU-CS-91-159.pdf 07-Jul-2008 11:37 13M [DIR] CMU-CS-91-160-abstra..> 09-Jul-2008 15:45 - [   ] CMU-CS-91-160.pdf 07-Jul-2008 11:37 16M [   ] CMU-CS-91-190.pdf 07-Jul-2008 11:36 17M [DIR] CMU-CS-92-121-abstra..> 09-Jul-2008 15:48 - [   ] CMU-CS-92-121.pdf 07-Jul-2008 11:35 32M [DIR] CMU-CS-93-163-abstra..> 09-Jul-2008 11:26 - [   ] CMU-CS-93-163.pdf 07-Jul-2008 11:35 11M [   ] CMU-CS-95-163.pdf 09-Jul-2008 11:14 119M [   ] CMU-CS-96-204.pdf 09-Jul-2008 18:06 1.1M [   ] CMU-CS-97-124.pdf 07-Jul-2008 11:34 19M [   ] CMU-CS-98-135.pdf 09-Jul-2008 11:19 1.0M [   ] CMU-CS-98-156.pdf 07-Jul-2008 11:34 325K [   ] CMU-CS-99-172.pdf 09-Jul-2008 11:28 1.1M [DIR] CompComonads-abstrac..> 09-Jul-2008 15:46 - [   ] CompComonads.pdf 08-Jul-2008 15:42 10M [DIR] DeadlockAnalysis-abs..> 09-Jul-2008 11:23 - [   ] DeadlockAnalysis.pdf 08-Jul-2008 11:32 9.5M [DIR] Essence-abstract.rtfd/ 09-Jul-2008 10:34 - [DIR] FullAbstractionShare..> 09-Jul-2008 14:19 - [   ] FullAbstractionShare..> 09-Jul-2008 11:33 6.4M [DIR] FullAbstractionStron..> 09-Jul-2008 14:10 - [   ] FullAbstractionStron..> 09-Jul-2008 11:32 5.8M [   ] HistoricalIntroducti..> 08-Jul-2008 11:34 2.1M [DIR] ImprovedFailures-abs..> 09-Jul-2008 15:37 - [   ] ImprovedFailures.pdf 08-Jul-2008 11:34 7.0M [   ] MFPS97revised.pdf 07-Jul-2008 11:34 332K [   ] MFPS97slides.pdf 07-Jul-2008 11:34 91K [   ] ModelCommunicatingSe..> 09-Jul-2008 11:48 39M [DIR] MonadsComonads-abstr..> 09-Jul-2008 11:21 - [   ] MonadsComonads.pdf 08-Jul-2008 15:55 8.7M [   ] OperationalSemantics..> 09-Jul-2008 11:31 7.2M [DIR] PossibleFutures-abst..> 09-Jul-2008 11:55 - [   ] PossibleFutures.pdf 09-Jul-2008 11:45 3.4M [DIR] Relationship-abstrac..> 09-Jul-2008 15:05 - [DIR] SemanticallyBasedAxi..> 09-Jul-2008 11:57 - [   ] SemanticallyBasedAxi..> 09-Jul-2008 11:41 6.8M [DIR] SemanticallyBasedPro..> 09-Jul-2008 12:01 - [DIR] SequentialAlgorithms..> 09-Jul-2008 11:59 - [   ] SequentialAlgorithms..> 09-Jul-2008 11:44 4.2M [   ] SundayJuly13Dinner.rtf 10-Jul-2008 15:06 520 [   ] TCSPAbstract.pdf 09-Jul-2008 09:54 281K [   ] TheEssence-of-Parall..> 08-Jul-2008 10:17 8.0M [DIR] Towards-TCS-abstract..> 09-Jul-2008 15:33 - [   ] Towards-TCS.pdf 08-Jul-2008 15:45 10M [DIR] UsingFixedPointSeman..> 09-Jul-2008 11:18 - [   ] UsingFixedPointSeman..> 08-Jul-2008 10:15 4.3M [   ] bertinoro-abstract.rtf 09-Jul-2008 10:25 1.7K [   ] bertinoro-slides.pdf 08-Jul-2008 14:21 1.5M [   ] bertinoroproceedings..> 07-Jul-2008 11:34 148K [   ] concur2002-abstract.rtf 09-Jul-2008 10:40 3.0K [   ] concur2002rev.pdf 07-Jul-2008 11:34 238K [   ] concur2002slides.pdf 07-Jul-2008 11:34 142K [   ] concur2004blackslide..> 08-Jul-2008 14:33 6.2M [   ] concur2004tutorial-a..> 09-Jul-2008 10:27 1.2K [   ] concur2004tutorialpa..> 07-Jul-2008 11:34 229K [   ] concurrentpermission..> 08-Jul-2008 14:30 3.8M [   ] cpp.pdf 09-Jul-2008 13:05 160K [   ] csp25-abstract.rtf 09-Jul-2008 10:28 1.9K [   ] csp25.pdf 07-Jul-2008 11:34 170K [   ] csp25slides.pdf 07-Jul-2008 11:34 354K [   ] edinburgh.pdf 07-Jul-2008 11:34 119K [   ] essenceofcsptalk.pdf 07-Jul-2008 11:34 94K [   ] faircsp.pdf 28-Jul-2008 14:43 524K [   ] galway.pdf 07-Jul-2008 11:34 127K [   ] geocalslides.pdf 07-Jul-2008 11:34 3.7M [   ] hoare-abstract.rtf 09-Jul-2008 10:48 2.6K [   ] hoare.pdf 07-Jul-2008 11:34 172K [   ] kmcq.pdf 07-Jul-2008 11:34 169K [   ] ksu1.pdf 07-Jul-2008 11:34 76K [   ] ksu2.pdf 07-Jul-2008 11:34 98K [DIR] leicester-tcs-abstra..> 09-Jul-2008 15:43 - [   ] leicester-tcs.pdf 07-Jul-2008 11:34 354K [DIR] lics93-abstract.rtfd/ 09-Jul-2008 14:45 - [   ] lics93final.pdf 09-Jul-2008 14:28 191K [DIR] lics96-abstract.rtfd/ 09-Jul-2008 10:46 - [   ] lics96journalrevised..> 07-Jul-2008 11:34 232K [   ] lics96slides.pdf 07-Jul-2008 11:34 106K [   ] lugano2007grayscale.pdf 07-Jul-2008 11:34 7.1M [   ] luganopractical.pdf 07-Jul-2008 11:34 386K [   ] mfps16-abstract.rtf 09-Jul-2008 10:43 2.5K [   ] mfps16.pdf 08-Jul-2008 14:02 91K [   ] mfps16paper.pdf 07-Jul-2008 11:34 207K [   ] mfps18-abstract.rtf 09-Jul-2008 16:30 589 [   ] mfps18talk.pdf 07-Jul-2008 11:34 91K [   ] mfps2001.pdf 07-Jul-2008 11:34 141K [   ] mfps2006talk.pdf 07-Jul-2008 11:34 2.9M [   ] mfps2006tutorial.pdf 07-Jul-2008 11:34 4.5M [   ] mfps2007abstract.rtf 09-Jul-2008 10:05 1.0K [   ] mfps2007paper.pdf 07-Jul-2008 11:34 229K [   ] mfps2007talk.pdf 07-Jul-2008 11:34 3.2M [   ] mfps201-abstract.rtf 09-Jul-2008 10:41 2.9K [   ] mfps22-brookes.pdf 07-Jul-2008 11:34 301K [   ] mfps94talk.pdf 09-Jul-2008 14:09 66K [DIR] mfps96-abstract.rtfd/ 09-Jul-2008 11:13 - [   ] mfps96dancancet.pdf 07-Jul-2008 16:04 3.9M [   ] mfps97-abstract.rtf 09-Jul-2008 11:11 2.3K [   ] mfps98-abstract.rtf 09-Jul-2008 10:55 2.5K [   ] mfps98paper.pdf 07-Jul-2008 11:33 290K [   ] mfps98slides.pdf 07-Jul-2008 11:33 93K [   ] mfps99-abstract.rtf 09-Jul-2008 10:44 2.4K [   ] mfps999.pdf 07-Jul-2008 11:33 106K [   ] mfps99revised.pdf 07-Jul-2008 11:33 220K [   ] mfpsxxi-abstract.rtf 09-Jul-2008 10:24 2.0K [   ] mfpsxxi-brookesrevis..> 07-Jul-2008 11:33 310K [   ] mfpsxxslides.pdf 08-Jul-2008 13:18 655K [   ] objects98-2008.pdf 08-Jul-2008 14:07 79K [   ] oxfordtalk.pdf 09-Jul-2008 14:45 88K [   ] parallelalgoltalk.pdf 07-Jul-2008 11:33 139K [   ] seplogicrevisedfinal..> 09-Jul-2008 10:08 1.2K [   ] seplogicrevisedfinal..> 07-Jul-2008 11:33 384K [   ] seqlstabletalk.pdf 07-Jul-2008 11:33 101K [DIR] sharing-abstract.rtfd/ 09-Jul-2008 15:39 - [   ] sharing.pdf 08-Jul-2008 15:57 14M [IMG] steve_thumb.jpg 09-Jul-2008 09:29 9.9K [   ] synctraces.pdf 07-Jul-2008 11:33 188K [DIR] thesis-abstract.rtfd/ 09-Jul-2008 18:07 - [   ] variables-as-resourc..> 09-Jul-2008 10:16 1.9K [   ] variables-as-resourc..> 07-Jul-2008 11:33 290K [   ] variables-as-resourc..> 07-Jul-2008 11:38 226K