Newsgroups: comp.object.logic
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornell!travelers.mail.cornell.edu!news.kei.com!news.mathworks.com!news.alpha.net!uwm.edu!uwvax!sinetnews!news.u-tokyo.ac.jp!wnoc-tyo-news!icot10!ss151!ss151!hirata
From: hirata@icot.or.jp (Hirata Keiji)
Subject: Re: PI-Calculus and logic
In-Reply-To: larosa@iei.pi.cnr.it's message of 23 Feb 1995 15: 51:06 GMT
Message-ID: <HIRATA.95Feb24114756@ss151.icot.or.jp>
Sender: news@ss151.icot.or.jp
Organization: Institute for New Generation Computer Technology, Tokyo, Japan
References: <3iiata$c1c@serra.unipi.it>
Date: Fri, 24 Feb 1995 02:47:56 GMT
Lines: 32

Hello, Larosa-san, 

I'm interested in this problem, too.  

> I am searching for news about logics that are
> suitable to describe Milner's PI-calculus processes.

Do you mean that Milner's PI-calculus processes is *full* pi-calculus?
I think that the full pi-calculus, for example, includes ! (bang operator) 
and + (selection, summantion) with both output and input prefixes.  
At a glance, it is quite difficult to describe the full Milner's 
PI-calculus processes in a (concurrent) logic language, I think.  
So, you might more or less need some restrictions to pi-calculus.  

Recently, I'm working on the translation from a concurrent logic language
with restrictions to pi-calculus with restrictions.  My approach is 
inverse to yours :-) Although my work is still premature, my recent 
report might be helpful to you:

	@inproceedings{fgcs94,
	  author = "Keiji Hirata", 
	  title = "{Embedding of Moded Flat GHC into Polyadic $\pi$-Calculus}",
	  pages = "3--16",
	  booktitle = "Proceedings of FGCS'94 Workshop on
		Parallel Logic Programming",
	  organization = "ICOT",
	  month = "Dec.", 
	  year = 1994
	}

Regards,
Keiji Hirata (NTT Basic Research Laboratories)
