https://www.cs.vassar.edu/ 2026-04-12T15:50:40+00:00 https://www.cs.vassar.edu/ https://www.cs.vassar.edu/_media/favicon.ico text/html 2020-05-01T18:13:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/infinite-trees?rev=1588356833&do=diff Infinite Trees 1 Motivation Up until now, we’ve mostly looked at trees as a data structure, but we haven’t looked at them in the context of any particular problems. Trees are used in many applications in computer science, robotics, and game design. One common application is for representing the possible moves in a game or search problem. Imagine that you were exploring the space that a player (character or robot) could move through. On each move, the player would change position (and possibl… 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 2021-01-23T19:39:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/pubs?rev=1611430740&do=diff Publications * Dissertation: * Marc L. Smith. View-Centric Reasoning about Parallel and Distributed Computation. PhD thesis, University of Central Florida, Orlando, FL 32816-2362, December 2000. [PDF] Postscript and in the UCF institutional repository, STARS. * 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 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