Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker!ira.uka.de!fauern!tumuc!lan!grosse
From: grosse@lan.informatik.tu-muenchen.dbp.de (Malte Grosse)
Newsgroups: comp.specification
Subject: parallel specification
Message-ID: <4372@tuminfo1.lan.informatik.tu-muenchen.dbp.de>
Date: 12 Sep 90 09:29:39 GMT
Sender: news@lan.informatik.tu-muenchen.dbp.de
Reply-To: grosse@lan.informatik.tu-muenchen.dbp.de (Malte Grosse)
Distribution: comp.specification
Organization: Inst. fuer Informatik, TU Muenchen, W. Germany
Lines: 12


Hi!

I am looking for parallel specification languages or sequential
ones which support parallel constructs. Is there any work
going on?

Malte


please answer to :
grosse@lan.informatik.tu-muenchen.dbp.de