University of Calgary Peripatetic Seminar: Juan Qiao (Online)
- Date: 05/08/2020
- Time: 13:00
Lecturer(s):
Juan Qiao, U of Calgary
Location:
Online
Topic:
Rho calculus
Description:
Process calculus is a family of related approaches to formally model concurrent systems, e.g. Pi-calculus which pass channels as data along other channels; Ambient calculus which models distributed and mobile computations. Rho Calculus (Reflective Higher Order Calculus) is based on Pi-calculus; it is a closed theory in the form of an asynchronous message-passing calculus built on a notion of quoting. Names are quoted processes and unquoting is reification of processes. Names are subject to algebraic rules and reasoning such as substitutions and bisimulation.
Other Information:
Zoom conference, emailĀ benjamin.macadam@ucalgary.cafor details