28th Software Colloqium, 1st December 2005, JAIST
Date: December 1st, 14:00-16:00
Place: JAIST IS seminar room (4F)
-
Shoji Yuen (Nagoya Univ./JST)
Communciating Processes: overview of theory and applications
Summary:
This talk presents an overview of the communcating process model.
Starting from the general theory of CCS, we present the algebraic
characterizations of pi-calculus. Finally we show some implementation
tools based on the asynchronous pi-calculus.
Contact: Mizuhito Ogawa (mizuhito "at" jaist.ac.jp)