Guarded Command Language

#	Item
1	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
2	Concepts for Concurrent Programming Fred B. Schneider1 Department of Computer Science Cornell University Ithaca, New York, U.S.A 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 14:40:32 Type theory Model theory Formal methods Logic programming Data types Parallel computing Variable Guarded Command Language First-order logic Software engineering Mathematics Computing
3	Copyright Notice The following manuscript EWD 472: Guarded commands, non-determinacy and formal Add to Reading List Source URL: www.cs.utexas.edu - Date: 2008-04-03 21:44:02 Guarded Command Language Copyright law of the United States Copyright Software engineering Edsger W. Dijkstra Data Information Determinacy
4	PDF Document Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2000-08-07 12:12:15 Guarded Command Language Fan-out Digital electronics Logic gates Arbiter State space