Article View: comp.specification.z
Article #58Re: Z and concurrent systems
From: Brendan Mahony
Date: Wed, 19 Aug 1992 23:46
Date: Wed, 19 Aug 1992 23:46
15 lines
1359 bytes
1359 bytes
In <JIM.DAVIES.92Aug18151551@pierrot.prg.ox.ac.uk> Jim.Davies@prg.ox.ac.uk (A Wooden Fish on Wheels) writes: |Just because we had to think in metric spaces in order to check that the |language and models of CSP were all hunky dory, it doesn't mean that you need |to know anything more than basic set theory in order to use them. I'm sure |that a similar argument applies to Z... As I always try to point out to people, Z IS (a formalized) set theory. -- When soldiers form lines or hollow squares, you call it reason. When wild geese in flight take the form of a letter V, you say instinct. When the homogeneous atoms of a mineral arrange themselves into shapes mathematically perfect you have nothing to say. You have not even invented a name to conceal your heroic unreason."
Technical Details
Message-ID:
<9885@uqcspe.cs.uq.oz.au>Path:
arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!mips!mips!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!brendanReferences:
<9208111603.AA27215@cse.uta.edu> <JIM.DAVIES.92Aug14175257@pierrot.prg.ox.ac.uk> <1992Aug17.170419.23826@dscomsf.desy.de> <JIM.DAVIES.92Aug18151551@pierrot.prg.ox.ac.uk>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!mips!mips!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!brendan From: brendan@cs.uq.oz.au (Brendan Mahony) Newsgroups: comp.specification.z Subject: Re: Z and concurrent systems Message-ID: <9885@uqcspe.cs.uq.oz.au> Date: 19 Aug 92 23:46:34 GMT References: <9208111603.AA27215@cse.uta.edu> <JIM.DAVIES.92Aug14175257@pierrot.prg.ox.ac.uk> <1992Aug17.170419.23826@dscomsf.desy.de> <JIM.DAVIES.92Aug18151551@pierrot.prg.ox.ac.uk> Sender: news@cs.uq.oz.au Reply-To: brendan@cs.uq.oz.au Lines: 15