Andre van Delft - ACP and PGA (Lambda Days 2016) from applications definition computer science Watch Video
Preview(s): Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
Your browser does not support playing the video.Please download the video!
⏲ Duration: 13 min 82 sec ✓ Published: 01-Apr-2016
Description: Slides and more info: http://www.lambdadays.org/lambdadays2016/andre-van-delftnnThis 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).nnACP is an algebraic process theory, initiated by Jan Bergstra and Jan Willem Klop in 1982. It builds on Kleene’s formal languages and automata of the 1950. ACP provides a solid algebraic approach, and adds high leve