https://www.cs.vassar.edu/ 2026-06-09T11:55:50+00:00 https://www.cs.vassar.edu/ https://www.cs.vassar.edu/_media/favicon.ico text/html 2020-07-30T04:47:40+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/concurrency?rev=1596084460&do=diff Concurrency Communicating Sequential Processes (CSP) Links * WoTUG - The place for Communicating Processes * The classic text: Communicating Sequential Processes (Hoare) * The modern text: Theory and Practice of Concurrency (Roscoe) * Unifying Theories of Programming text, by Hoare and He: UTP * JCSP - CSP for Java * C++CSP2 – CSP for C++ text/html 2023-03-14T21:54:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/genealogy?rev=1678830869&do=diff Academic Genealogy * My Ph.D. advisors were Rebecca J. Parsons and Charles E. Hughes * Rebecca's advisor was * Matthias Felleisen, whose advisor was * Daniel P. Friedman, whose advisor was * Terrence W. Pratt, whose advisor was * Robert K. Lindsey, whose advisor was * Herbert A. Simon, the father of Artificial Intelligence text/html 2024-07-27T01:17:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/sidebar?rev=1722043052&do=diff Marc L. Smith * Home * Publications * Grants * Past courses * Concurrency * Teaching * Publicity * My Erdös Number * Academic Genealogy * PGP Information * Bio Vassar Content AskBanner OneLogin Reference EoS Time text/html 2018-08-18T03:56:48+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/top-forward?rev=1534564608&do=diff Marc L. Smith's homepage has moved My new home page is: <http://pages.vassar.edu/mlsmith/>