[comp.specification.z] Technical report available

Article View: comp.archives

Article #2323

#2323

From: Wilhelm Hasselbring
Date: Sat, 26 Sep 1992 11:57

40 lines
2303 bytes

Archive-name: auto/comp.specification.z/Technical-report-available


The following technical report is available:

	W. Hasselbring: "A Formal Z Specification of ProSet-Linda"

		Abstract: ProSet is a set-oriented prototyping language.
		The coordination language Linda provides a distributed
		shared memory model, called tuple space, together with
		some atomic operations on this shared data space.  In
		ProSet-Linda the concept for process creation via
		Multilisp's futures is adapted to set-oriented
		programming and combined with Linda's concept for
		synchronization and communication via tuple space.  This
		paper presents a formal specification of the semantics
		of this combination by means of the formal specification
		language Z.

You can fetch the compressed postscript file via ftp from

	hp06c.informatik.uni-essen.de:pub/Informatik-Berichte (132.252.61.3)

The file is pub/Informatik-Berichte/04-92.ps.Z. See also the README. Please
send a note to "willi@informatik.uni-essen.de" when you fetch the report.

The file is too big for transfer via e-mail. If you'd like a hardcopy,
please send mail saying so to "willi@informatik.uni-essen.de".

Comments are welcome, Willi

-------------------------------
W Hasselbring                                   Tel.: (+49 201 183 2168)
University of Essen                             Fax.: (+49 201 183 2419)
Fachbereich Mathematik und Informatik - Software Engineering
Schuetzenbahn 70, 4300 Essen 1, Germany         willi@informatik.uni-essen.de

--
-------------------------------
W Hasselbring, University of Essen              willi@informatik.uni-essen.de

Technical Details

Message-ID: <1a1j7vINNimj@agate.berkeley.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!agate!usenet

References: <3087@unieinf.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!agate!usenet
From: willi@algol.informatik.uni-essen.de (Wilhelm Hasselbring)
Newsgroups: comp.archives
Subject: [comp.specification.z] Technical report available
Followup-To: comp.specification.z
Date: 26 Sep 1992 11:57:51 GMT
Organization: University of Essen, Germany
Lines: 41
Approved: adam@soda.berkeley.edu
Distribution: world
Message-ID: <1a1j7vINNimj@agate.berkeley.edu>
References: <3087@unieinf.UUCP>
NNTP-Posting-Host: soda.berkeley.edu
X-Original-Newsgroups: comp.specification.z
X-Original-Date: 24 Sep 92 11:45:33 GMT

Reply to Parent Message