Kohei Honda

University of Edinburgh
Department of Computer Science

Courses on Mobile Processes

Basics of Mobile Processes

From February 12th to 13th
Basic elements of calculi of mobile processes, including the fundamentals of their bisimilarities. Among various results, I will especially stress on their expressive power, in terms of both concrete examples and formal results (including combinator results). The material to be covered will be either standard or well-established, but perhaps from a fresh viewpoint. If time allows, I may also give a little detailed treatment of basic semantic results on the (now fashionable) nu-calculus, a.k.a. asynchronous pi-calculus.

Types for Mobile Processes

From February 17th to 19th
Here we go from the sorting and its type inference, its various refinements and their use, and how we can understand the idea of "types for processes" in the line of "types for functions", i.e. types for higher-order functional calculi, through semantic observations. This will be basically a solid presentation of basic results, combined, at the end, with somewhat new and abstract ideas.

Symmetries in Processes

February 24th
This discusses what I call theory of process structures, in which the notion of symmetries plays an essential role, and its applications. In particular I will show how it can be used to understand the foregoing theories of processes (in particular of mobile processes) and functions, on a uniform framework, as well as how it can be applied to a concrete problem of reasoning about processes.

Selected Bibliography on Mobile Processes

When: From February 12th, 1997, 9:30 - 12:30AM.
Where: Room 2.25, Instituto Física-Matemática, Av. Gama Pinto 2, 1600 Lisboa.


Idioms for Interaction, February 7, 1997

Processes - An elementary approach, February 14, 1997