upcarta
  • Sign In
  • Sign Up
  • Explore
  • Search

Communicating Sequential Processes

  • Paper
Tony Hoare
@TonyHoare
(Author)
www.cs.cmu.edu
Read on www.cs.cmu.edu
1 Recommender
1 Mention
1 Ask
mitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra'... Show More

mitives of programming and that parallel
composition of communicating sequential processes is a
fundamental program structuring method. When
combined with a development of Dijkstra's guarded
command, these concepts are surprisingly versatile.
Their use is illustrated by sample solutions of a variety
of familiar programming exercises.
Key Words and Phrases: programming,
programming languages, programming primitives,
program structures, parallel programming, concurrency,
input, output, guarded commands, nondeterminacy,
coroutines, procedures, multiple entries, multiple exits,
classes, data representations, recursion, conditional
critical regions, monitors, iterative arrays
CR Categories: 4.20, 4.22, 4.3

Show Less
Recommend
Post
Save
Complete
Collect
Mentions
See All
Kooraiber @Kooraiber · Sep 26, 2023
  • Answered to Can we create a thread of the most impactful courses/books/projects you've encountered that changed your career course in some way or the other?
  • From Twitter
Asks
See All
  • Debanjan Sengupta
    • Ask
    Can we create a thread of the most impactful courses/books/projects you've encountered that changed your career course in some way or the other?
    5 answers
  • upcarta ©2025
  • Home
  • About
  • Terms
  • Privacy
  • Cookies
  • @upcarta