CCS contact

Article View: comp.specification

Article #259

Back to comp.specification Previous Next

#259

From: Eoin McDonnell
Date: Wed, 11 Nov 1992 11:57

12 lines
735 bytes

Hi,

I'm starting a Masters in Trinity College, Dublin,  and I'm interested
in formal notations,  particularly Timed CCS and the Pi-Calculus.   Can
anyone please send me e-mail addresses for Milner or a colleague at
Edinburgh or people at other institutions who work in this area?


Thanks,

Eoin Mc Donnell.                emcdnnll@cs.tcd.ie.

Technical Details

Message-ID: <1992Nov11.115746.12496@cs.tcd.ie>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!emcdnnll

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!emcdnnll
From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
Subject: CCS contact
Message-ID: <1992Nov11.115746.12496@cs.tcd.ie>
Summary: Contact addresses required for CCS/Pi-calc. people
Keywords: CCS Pi
Organization: Computer Science, Trinity College Dublin
Date: Wed, 11 Nov 1992 11:57:46 GMT
Lines: 12