https://www.cs.vassar.edu/ 2026-04-12T10:03:14+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 2025-12-20T05:25:38+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/past-courses?rev=1766208338&do=diff Past Courses Courses taught at Vassar College: (2006 - present) * CMPU-101 - Problem-Solving and Abstraction * Fall '06, '07, '10, '14, '15, '16, '17, '18, '19, '21, '22, '23, '24, '25 * Spring '07, '09, '14, '16, '19, '21, '23, '24, '25 text/html 2023-04-12T02:55:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/teaching?rev=1681268159&do=diff Teaching General * Computer Science Educator's Hub First-year computer science * Program by Design - The computer science core of a liberal arts education * How to Design Programs - An Introduction to Programming and Computing * Racket - Includes the DrRacket programming environment * WeScheme - Web-based programming environment text/html 2026-01-21T06:34:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/top?rev=1768977290&do=diff Marc L. Smith (he/him) Professor of Computer Science Computer Science Department Vassar College Coordinates Office: SP 104.5 Voice: 845 437 7497 Zoom E-mail: mlsmith@vassar.edu Vassar College, Box 399 124 Raymond Avenue Poughkeepsie, NY 12604-0399 Spring 2026 * CMPU-101: Problem-Solving and Abstraction * Lectures: Mon/Wed 12$((\lambda(x)\ (x\ x))\ (\lambda(x)\ (x\ x)))$ text/html 2011-06-20T03:03:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/vss?rev=1308538985&do=diff Vassar Science Scholars Lecture/Lab Saturday, March 26, 2011 9:30am--12pm Sci Vis Lab, 3rd Floor Mudd Chemistry WeScheme: from Algebra to Animation We will explore selected parts of the Scheme programming language using WeScheme, a browser--