Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 26 Jun 1995 20:05:48 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA072071217;
          Mon, 26 Jun 1995 12:26:57 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from brimer.ele.kth.se by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA072041193;
          Mon, 26 Jun 1995 12:26:33 -0600
Received: from ottar.ele.kth.se (ottar.ele.kth.se [130.237.20.141]) 
          by brimer.ele.kth.se (8.6.12/8.6.12) with ESMTP id UAA02074 
          for <info-hol@leopard.cs.byu.edu>; Mon, 26 Jun 1995 20:26:19 +0200
From: Andreas Jonasson <andreas@ele.kth.se>
Received: (andreas@localhost) by ottar.ele.kth.se (8.6.10/8.6.9) id UAA16966 
          for info-hol@leopard.cs.byu.edu; Mon, 26 Jun 1995 20:26:18 +0200
Message-Id: <199506261826.UAA16966@ottar.ele.kth.se>
Subject: Process networks
To: info-hol@leopard.cs.byu.edu
Date: Mon, 26 Jun 95 20:26:17 METDST
Mailer: Elm [revision: 70.85]

Hello,

anybody who knows whether Kahn's process network 
model has been implemented in HOL?

Thanks,
Andreas Jonasson
Electronic System Design
Dep of Electronics
KTH-Electrum, Kista
Sweden