Talk 23:00

ACP and PGA

Name: ACP and PGA
Description: This talk is about 2 fundamental algebraic theories in computer science that deserve much more attention than they currently get: the Algebra of Communicating Processes (ACP) and Program Algebra (PGA).

This talk is about 2 fundamental algebraic theories in computer science that deserve much more attention than they currently get: the Algebra of Communicating Processes (ACP) and Program Algebra (PGA).

Watch on YouTube

Speakers

Andre van Delft

Software Developer

Recorded at

Lambda Days 2016

Krakow, Poland

February 18, 2016