VSL 2014: VIENNA SUMMER OF LOGIC 2014

Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus

Authors: Kohei Honda, Nobuko Yoshida and Martin Berger

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus
Authors:Kohei Honda, Nobuko Yoshida and Martin Berger
Proceedings:RTA-TLCA 2014 LNCS Proceedings
Editor: Gilles Dowek
Keywords:
Abstract:
Pages:20
Paper:
Disclaimer | Powered by EasyChair Smart Program