Search

You can find the results of your search below.

Fulltext results:

top
10 Hits, Last modified:
courses/cs377-202651/top | \\ ---- \\ ===== Texts and References ===== **__Required Text__:** M. Ben-Ari. //Principles of Concurrent and Distributed Pr... on//. Addison-Wesley. (c) 2006. **__Recommended Text__:** Brian W. Kernighan and Dennis M. Ritchie. //... problems more naturally. **A few words about the texts I chose:** I chose two texts this semester−one r
vim_resources
6 Hits, Last modified:
oals this semester is to learn to use Vim: a real text (and programmer's) editor. Here are some resources to help you get started. * [[wp>Vim_(text_editor)|Vim]] Wikipedia article * use ''**vimtu... and running Spring 2026! * Useful for editing text documents with Vim: * '':set tw=72'' (sets textwidth of each line to 72) * then just type, te
lang-resources
3 Hits, Last modified:
Hoare78.pdf|1978 CACM paper]] * The classic CSP text: {{ :courses:cs377-202651:cspbook.pdf |Communicat... Sequential Processes (Hoare)}} * The modern CSP text: [[http://web.comlab.ox.ac.uk/oucl/work/bill.rosc... First Course//. MIT Press, (c) 1990. * This text is out of print, but the PDF is available [[http:
week5
3 Hits, Last modified:
lagen// ("to decrease") * Definition: <code text> < await (s > 0) s = s - 1; > </code> * sign... hogen// ("to increase") * Definition: <code text> < s = s + 1; > </code> * ''wait(s)'' and ''si... * where for binary semaphores s1 and s2: <code text> 0 <= s1+s2 <= 1 </code> * technique: pass
week1
1 Hits, Last modified:
:-) * we will discuss this article in class * Ben-Ari Text: * Chapters 1 and 2 for next week
week2
1 Hits, Last modified:
OTOC~~ * Readings for this week and next (from text): * Ben-Ari Ch 1: What is Concurrent Program
week3
1 Hits, Last modified:
$ cd ~/.ssh'' - then type this command: <code text>$ cat id_rsa.pub >> authorized_keys</code> * fo
week4
1 Hits, Last modified:
* (Adapted from Problem 2.19 from Andrews's MPD text) * {{mpd-2.19-interleavings.pdf|mpd-2.19-inte