https://www.bibsonomy.org/user/tmcphillipsBibSonomy RSS Feed for /user/tmcphillipshttp://bpt.hpi.uni-potsdam.de/Oryxtmcphillips2009-04-21T00:37:12+02:00BPMN <a itemprop="url" data-versiondate="2009-04-21T00:37:12+02:00" href="http://bpt.hpi.uni-potsdam.de/Oryx" rel="nofollow" class="description-link">http://bpt.hpi.uni-potsdam.de/Oryx</a>Haskell library featuring a concurrency model inspired by CSPhttp://www.cs.kent.ac.uk/projects/ofa/chp/tmcphillips2009-02-20T00:09:23+01:00CHP CSP Haskell <span itemprop="description">Haskell library featuring a concurrency model inspired by CSP</span>http://www.wotug.org/parallel/occam/tmcphillips2009-02-03T19:38:09+01:00Occam <a itemprop="url" data-versiondate="2009-02-03T19:38:09+01:00" href="http://www.wotug.org/parallel/occam/" rel="nofollow" class="description-link">http://www.wotug.org/parallel/occam/</a>Documentation of Occam moduleshttp://occam-pi.org/occamdoc/tmcphillips2009-02-03T03:57:06+01:00OccamPi <span itemprop="description">Documentation of Occam modules</span>Occam resources on Fred Barnes' web sitehttp://frmb.org/occam.htmltmcphillips2009-02-03T02:06:07+01:00OccamPi <span itemprop="description">Occam resources on Fred Barnes&#039; web site</span>Introduction to Occam on Fred Barnes' web sitehttp://frmb.org/occtutor.htmltmcphillips2009-02-03T02:05:50+01:00OccamPi <span itemprop="description">Introduction to Occam on Fred Barnes&#039; web site</span>Program that visualizes the Lego Mindstorms RCX internal logic through visual flowcharts.http://en.wikipedia.org/wiki/Actor_Labtmcphillips2009-02-03T01:54:57+01:00ActorModel Robotics <span itemprop="description">Program that visualizes the Lego Mindstorms RCX internal logic through visual flowcharts.</span>Automated tool for the manipulation and analysis of concurrent systemshttp://homepages.inf.ed.ac.uk/perdita/cwb/tmcphillips2009-01-27T20:55:59+01:00CCS CWB <span itemprop="description">Automated tool for the manipulation and analysis of concurrent systems</span>Language for dynamic creation of concurrent processes; communication via message channels and; can be analyzed with the SPIN model checker.http://en.wikipedia.org/wiki/Promelatmcphillips2009-01-27T20:49:18+01:00ActorLanguages <span itemprop="description">Language for dynamic creation of concurrent processes; communication via message channels and; can be analyzed with the SPIN model checker.</span>Tool for verifying correctness of distributed software modeled in Promela.http://en.wikipedia.org/wiki/SPIN_model_checkertmcphillips2009-01-27T20:48:40+01:00ActorLanguages VerificationTool <span itemprop="description">Tool for verifying correctness of distributed software modeled in Promela.</span>Wikipedia article. Guarded commands are used within the Promela programming language, which is used by the SPIN model checker. http://en.wikipedia.org/wiki/Guarded_Command_Languagetmcphillips2009-01-27T20:43:05+01:00ActorLanguages <span itemprop="description">Wikipedia article. Guarded commands are used within the Promela programming language, which is used by the SPIN model checker. </span>Wikipedia articlehttp://en.wikipedia.org/wiki/JCSPtmcphillips2009-01-23T02:57:29+01:00JCSP <span itemprop="description">Wikipedia article</span>IBM's introduction to JCSPhttp://www-128.ibm.com/developerworks/java/library/j-csp1.htmltmcphillips2009-01-23T02:55:46+01:00JCSP <span itemprop="description">IBM&#039;s introduction to JCSP</span>Wikipedia articlehttp://en.wikipedia.org/wiki/Process_calculitmcphillips2009-01-22T21:00:21+01:00CCS CSP <span itemprop="description">Wikipedia article</span>Wikipedia articlehttp://en.wikipedia.org/wiki/Future_(programming)tmcphillips2009-01-22T20:43:09+01:00ActorModel <span itemprop="description">Wikipedia article</span>Wikipedia articlehttp://en.wikipedia.org/wiki/Pi-calculustmcphillips2009-01-22T20:23:44+01:00CCS PiCalculus <span itemprop="description">Wikipedia article</span>Wikipedia articlehttp://en.wikipedia.org/wiki/Calculus_of_Communicating_Systemstmcphillips2009-01-22T20:23:01+01:00CCS <span itemprop="description">Wikipedia article</span>Wikipedia articlehttp://en.wikipedia.org/wiki/Communicating_Sequential_Processestmcphillips2009-01-22T20:21:45+01:00CSP <span itemprop="description">Wikipedia article</span>Wikipedia articlehttp://en.wikipedia.org/wiki/Actor_model_early_historytmcphillips2009-01-22T02:48:50+01:00ActorModel <span itemprop="description">Wikipedia article</span>Wikipedia articlehttp://en.wikipedia.org/wiki/Actor_model_and_process_calculi_historytmcphillips2009-01-22T02:48:23+01:00ActorModel ProcessCalculi <span itemprop="description">Wikipedia article</span>