Return-Path: 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, 22 Nov 1993 14:00:53 +0000 Received: by leopard.cs.byu.edu (1.37.109.7/16.2) id AA18335; Mon, 22 Nov 93 06:36:20 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from kirk.fmi.uni-passau.de by leopard.cs.byu.edu with SMTP (1.37.109.7/16.2) id AA18331; Mon, 22 Nov 93 06:34:59 -0700 Received: from uhura.fmi.uni-passau.de by kirk.fmi.uni-passau.de with SMTP id AA02041 (5.65c/IDA-1.4.4 for ); Mon, 22 Nov 1993 13:24:23 +0100 From: Matthias Mutz Message-Id: <199311221224.AA02041@kirk.fmi.uni-passau.de> Subject: mechanization of CCS To: info-hol@leopard.cs.byu.edu Date: Mon, 22 Nov 1993 13:23:30 +0100 (MET) X-Mailer: ELM [version 2.4 PL22] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 283 Is there a formal definition (mechanization) for a process calculus in HOL ? We are especially interested in CCS, CIRCAL, ... Matthias Mutz. -------------- University of Passau, Faculty for Mathematics and Computer Science D-94030 Passau, GERMANY email: mutz@fmi.uni-passau.de