Name: K. V. S. Prasad on "Communication and Concurrency" at Zimpler
Start: 2017-02-16T18:00:00+01:00
End: 2017-02-16T21:00:00+01:00
Location: Zimpler

A big shout out to Zimpler for agreeing to host us! They will be sponsoring pizza and drinks too! :)

This meetup is going to be about:

"An introduction to Robin Milner’s work on concurrent computation, focusing mostly on his monograph “A Calculus of Communicating Systems (1980)” (CCS) and its expanded version, the textbook “Communication and Concurrency (1989)”. Some earlier background, and some later material and related work will also be covered, and an attempt made to evaluate the impact of Process Calculus (or Process Algebra), as the field that grew up around CCS is called."

- K. V. S. Prasad (https://www.chalmers.se/en/staff/Pages/prasad.aspx)

The monograph can be read online here: http://www.lfcs.inf.ed.ac.uk/reports/86/ECS-LFCS-86-7/ECS-LFCS-86-7.pdf

To know more about Papers We Love in Gothenburg, checkout our what-is (https://github.com/papers-we-love/gothenburg/blob/master/whatis.md).

Jean-Louis Giordano

Nachi Valliappan

Suvash Thapaliya

K. V. S. Prasad

Víctor López

Papers We Love, Gothenburg

Technology

Education & Technology

New Technology

Intellectual Discussions

Reading

Computer Science

Computer Programming

Programming Languages

Computing

Functional Programming

K. V. S. Prasad on "Communication and Concurrency" at Zimpler

Zimpler

Share

Papers We Love, Gothenburg

K. V. S. Prasad on "Communication and Concurrency" at Zimpler

Papers We Love, Gothenburg

Details

Members are also interested in