Process calculi

Communicating sequential processes

In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language and also influenced the design of programming languages such as Limbo, RaftLib, Erlang, Go, Crystal, and Clojure's core.async. CSP was first described in a 1978 article by Tony Hoare, but has since evolved substantially. CSP has been practically applied in industry as a tool for specifying and verifying the concurrent aspects of a variety of different systems, such as the T9000 Transputer, as well as a secure ecommerce system. The theory of CSP itself is also still the subject of active research, including work to increase its range of practical applicability (e.g., increasing the scale of the systems that can be tractably analyzed). (Wikipedia).

Video thumbnail

Communication

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Communicating Effectively

Video thumbnail

Business Communication

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Business Communication

Video thumbnail

GEN102 - Communication

Communication can be defined as the process wherby ideas, information and messages are shared with others in a particuluar time and place through a common system of symbols. This E-Lecture, which as an update of the 2013 E-Lecture, discusses the central modes of communication and the speci

From playlist Linguistics - A First Encounter

Video thumbnail

Parallel vectors

This shows an interactive illustration that explains that parallel vectors can have either the same or opposite directions. The clip is from the book "Immersive Linear Algebra" at http://www.immersivemath.com

From playlist Chapter 2 - Vectors

Video thumbnail

Am I only streaming? Thinking reactive - Rob Harrop

In 1978, Tony Hoare presented communicating sequential processes (CSP) to the world. Systems envisioned by CSP are composed of sequential processes that communicate via message passing. In 1973, Hewitt, Bishop, and Steiger introduced the actor model to the world. Actors, like processes in

From playlist O'Reilly Software Architecture Conference 2016 - London, United Kingdom

Video thumbnail

The Call Stack

This computer science video illustrates how the call stack is used to manage the way procedures and functions call each other and pass parameters.

From playlist Operating Systems

Video thumbnail

Erlang Master Class 2: Video 1 - Turning sequential code into concurrent code

http://www.cs.kent.ac.uk/ErlangMasterClasses These Master Classes will show you how Erlang can be used in practice to solve larger problems. The examples provide 'capstones' for different aspects of Erlang: functional programming, concurrent programming and larger-scale programming with O

From playlist Erlang Master Class

Video thumbnail

Jérôme Lelong : Introduction to HPC, Random generation and OpenMP

Recording during the CEMRACS 2017 : "Numerical Methods for Stochastic Models: Control, Uncertainty Quantification, Mean-field " the July 24, 2017 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks gi

From playlist Numerical Analysis and Scientific Computing

Video thumbnail

Factorization-based Sparse Solvers and Preconditions, Lecture 4

Xiaoye Sherry Li's (from Lawrence Berkeley National Laboratory) lecture number four on Factorization-based sparse solves and preconditioners

From playlist Gene Golub SIAM Summer School Videos

Video thumbnail

RubyConf 2010 - Concurrency: Rubies, plural by: Eleanor McHugh, Elise Huard

For the last few years hardware manufacturers have driven increasingly powerful multi-core processors into consumer-grade computing hardware. Power which twenty years ago was restricted to a handful of government-funded research institutes is now available on the desktop, introducing many

From playlist RubyConf 2010

Video thumbnail

Dr. Thomas Sterling - 2009 Inaugural Peebles Memorial Lecture Series

The 2009 Inaugural Peebles Memorial Lecture, "HPC in Phase Change: Towards a New Parallel Execution Model" presented by Dr. Thomas Sterling, renowned professor of computer science at Louisiana State University. Thomas Sterling is best known as the father of the Beowulf cluster and for hi

From playlist Peebles Memorial Lectures in Information Technology

Video thumbnail

Parallel Query In PostgreSQL Robert Haas

I and others have been working on bringing parallel query for PostgreSQL for several years now, but PostgreSQL 9.6 is the first release expected to include a user-visible feature. And it's pretty cool. In this talk, I'll give an overview of the development of this feature, where we are now

From playlist 2016

Video thumbnail

Sequential Stopping for Parallel Monte Carlo by Peter W Glynn

PROGRAM: ADVANCES IN APPLIED PROBABILITY ORGANIZERS: Vivek Borkar, Sandeep Juneja, Kavita Ramanan, Devavrat Shah, and Piyush Srivastava DATE & TIME: 05 August 2019 to 17 August 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore Applied probability has seen a revolutionary growth in resear

From playlist Advances in Applied Probability 2019

Video thumbnail

Lec 5 | MIT 6.189 Multicore Programming Primer, IAP 2007

Lecture 5: Parallel programming concepts License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu Subtitles are provided through the generous assistance of Rohan Pai.

From playlist MIT 6.189 Multicore Programming Primer, January (IAP) 2007

Video thumbnail

Computer Architecture is Back: Parallel Computing Landscape

January 31, 2007 lecture by Dave Patterson for the Stanford University Computer Systems Colloquium (EE 380). A diverse group of UC Berkeley researchers from many backgrounds - circuit design, computer architecture, massively parallel computing, computer-aided design, embedded hardware and

From playlist Course | Computer Systems Laboratory Colloquium (2006-2007)

Video thumbnail

Stanford Seminar: Time Traveling Hardware and Software Systems

EE380: Computer Systems Colloquium Time Traveling Hardware and Software Systems Srini Devadas , MIT With the imminent demise of Moore's Law, the importance of parallel computing is only increasing. However, efficient parallel computing with ease of programmability still remains elusive. S

From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series

Video thumbnail

Tim Harris: "Systems Challenges in Graph Analytics"

The Turing Lectures: Industrial & Commercial - Tim Harris – Oracle Laboratories: Systems Challenges in Graph Analytics Click the below timestamps to navigate the video. 00:00:10 Introduction by Professor Chris Williams, Edinburgh University 00:01:49 Tim Harris – Oracle Laboratories: Syst

From playlist Turing Lectures

Related pages

Common Algebraic Specification Language | TLA+ | Non-blocking algorithm | Trace monoid | Operational semantics | Binary decision diagram | Needham–Schroeder protocol | Process calculus | Language Of Temporal Ordering Specification | Divergence (computer science) | Deadlock | Formal language | History monoid | Erlang (programming language) | Formal specification | Trace theory | Nondeterministic algorithm | Denotational semantics | Unbounded nondeterminism | Algebraic semantics (computer science) | Actor model | Transputer | Clojure | Unifying Theories of Programming