🚀 go-pugleaf

Divergences in CSP
By: Todd Fine on Tue, 07 May 1991 00:52

Re: LOTOS Bibliography
By: Jeroen Schot on Mon, 06 May 1991 14:45

Re: LOTOS Bibliography
By: Mark S Madsen on Thu, 02 May 1991 12:59

Bibliography of LOTOS
By: Ing. Antonio Eloin Rodriguez Aco... on Tue, 30 Apr 1991 19:47

VDM style file
By: Dr. Betty Cheng on Thu, 25 Apr 1991 02:27

Specifying static semantics in Z
By: Kevin.Lano on Wed, 24 Apr 1991 09:29

Formal Aspects of Measurement
By: Brian Monahan on Mon, 22 Apr 1991 14:14

ieee mass storage model ?? any help?
By: Juergen Weigert on Tue, 23 Apr 1991 18:10

Static semantics of imperative languages in Z?
By: Christian S. Collberg on Tue, 23 Apr 1991 13:12

Re: wanted-for-TeXMacros-of-Z
By: Haruhiko Kaiya on Mon, 15 Apr 1991 08:00

KBSE-91: CAll For Papers
By: hoebel on Tue, 16 Apr 1991 14:22

wanted-for-TeXMacros-of-Z
By: Haruhiko Kaiya on Sun, 14 Apr 1991 07:59

Re: 5-day Course on Cambridge HOL System
By: msaltzman on Sun, 07 Apr 1991 02:19

Computer Assurance Conference COMPASS '91
By: Rick Kuhn on Wed, 03 Apr 1991 14:24

Share your LOTOS experience
By: Paul Tilanus on Tue, 02 Apr 1991 11:22

CFP FORTE'91 Formal Techniques Sydney Australia
By: Roger Duke on Thu, 28 Mar 1991 07:02

Re: Anyone know what PDES/STEP stands for?
By: Albert Langer on Sun, 24 Mar 1991 07:43

Re: "higher-order" spec
By: Sara Kalvala on Wed, 20 Mar 1991 10:06

5-day Course on Cambridge HOL System
By: Jeffrey Joyce on Fri, 22 Mar 1991 16:48

Petri Nets 91, June 24-28, Denmark
By: Soren P. Christensen on Thu, 21 Mar 1991 11:08

NL paraphrasing of specifications
By: Stephen Hood on Fri, 15 Mar 1991 18:52

looking for COFF literature
By: Mark Lochridge on Fri, 15 Mar 1991 01:27

Re: Anyone know what PDES/STEP stands for?
By: Tad Alan Davis on Thu, 14 Mar 1991 03:39

KBSE-91: CAll For papers
By: hoebel on Mon, 18 Mar 1991 20:25

Re: Anyone know what PDES/STEP stands for?
By: John Sauter on Wed, 13 Mar 1991 14:56

Re: Anyone know what PDES/STEP stands for?
By: Phil Stocks on Wed, 13 Mar 1991 07:37

Re: "higher-order" spec
By: Kees Goossens on Tue, 12 Mar 1991 16:38

Anyone know what PDES/STEP stands for?
By: Dan Peterka on Wed, 13 Mar 1991 00:27

Formal Methods Tools from HP Labs
By: Patrick Goldsack on Tue, 12 Mar 1991 10:57

Re: Z tools.
By: S Matthews on Sat, 09 Mar 1991 12:44

Z tools.
By: Michel Moreaux on Fri, 08 Mar 1991 10:09

ProCoS Symposium, 14-18 October, Gl. Avernaes, Denmark
By: Jonathan Bowen on Mon, 11 Mar 1991 18:25

CAV91 CALL FOR PAPERS
By: Arne Skou on Wed, 16 Jan 1991 00:45

Archives for the newsgroup comp.specification
By: Richard Wallace on Thu, 07 Mar 1991 04:58

"higher-order" spec\
By: YUKQC on Thu, 07 Mar 1991 04:30

IBM mouse
By: Gerard Pinzone on Tue, 05 Mar 1991 21:27

Re: Database correctness
By: Pablo A. Straub on Mon, 04 Mar 1991 18:34

Database correctness
By: John W. Baugh Jr. on Mon, 04 Mar 1991 15:55

Specifications
By: Duncan Campbell on Tue, 05 Mar 1991 06:50

Tools for Distributed Systems
By: Claus Dendorfer on Tue, 26 Feb 1991 13:21

Re: Object-Z facts
By: Paul.Kram on Mon, 25 Feb 1991 01:53

Re: Object-Z ?
By: Graeme Smith on Tue, 26 Feb 1991 00:23

Re: Z Specification Case Studies
By: Jonathan Bowen on Sat, 23 Feb 1991 21:56

Object-Z ?
By: Paul.Kram on Sat, 23 Feb 1991 22:50

Special Issue of Computer Networks and ISDN Systems on TOOLS FOR FDTs
By: Arturo Azcorra on Fri, 08 Feb 1991 18:36

Z Specification Case Studies
By: Phil Windley/20000000 on Thu, 21 Feb 1991 00:23

Typos in my VDM book
By: Cliff B Jones on Mon, 18 Feb 1991 17:09

Re: Numerical Analysis/ Formal proofs
By: Arshad Mahmood on Mon, 18 Feb 1991 14:30

Re: Numerical Analysis/ Formal proofs
By: "Steve" Stevenson on Mon, 18 Feb 1991 13:23

Numerical Analysis/ Formal proofs
By: Cliff B Jones on Sun, 17 Feb 1991 12:30

Unusual applications of LOTOS
By: Luigi Logrippo on Wed, 13 Feb 1991 22:15

TAV - Call for Papers
By: Nancy Leveson on Tue, 12 Feb 1991 00:17

Re: FUZZ (Z Support): Questions
By: Jonathan Bowen on Thu, 07 Feb 1991 18:59

Looking for case studies
By: Alex Dorchak on Wed, 13 Feb 1991 22:28

FUZZ (Z Support): Questions
By: Kenneth D Jordan on Thu, 07 Feb 1991 15:03

Re: "Specification Case Studies" by Hayes
By: Eoin Woods on Wed, 30 Jan 1991 08:49

"Specification Case Studies" by Hayes
By: Mike Godfrey on Tue, 29 Jan 1991 18:59

Learning/using VDM
By: Gudmundur Joekulsson on Wed, 09 Jan 1991 13:42

CAV91 - CALL FOR PAPERS
By: Arne Skou on Thu, 17 Jan 1991 08:30

Re: CAV91 - CALL FOR PAPERS
By: Arne Skou on Mon, 21 Jan 1991 10:21

Workshop on deontic logic in computer science
By: Wieringa j Roel on Fri, 18 Jan 1991 13:42

CAV - New Deadline
By: Arne Skou on Tue, 15 Jan 1991 14:41

OO Specification ?
By: Peter Willems on Thu, 10 Jan 1991 10:02

CAV91 CALL FOR PAPERS
By: Arne Skou on Mon, 07 Jan 1991 15:13

Re: Support Tools for Z?
By: Jonathan Bowen on Thu, 03 Jan 1991 17:09

Cambridge HOL System - 5-day intensive course
By: Jeffrey Joyce on Thu, 03 Jan 1991 16:46

Grammar for SDL
By: Ronald T. Crocker on Wed, 02 Jan 1991 20:37

Support Tools for Z?
By: Betty Cheng on Mon, 31 Dec 1990 23:51

re. survey on spec. languages (Anna references)
By: Sriram Sankar on Wed, 26 Dec 1990 18:36

Re: Tech Reports from Oxford PRG
By: Jim Grundy on Thu, 20 Dec 1990 11:54

No Mistake in "The Z Notation"?
By: Jim Grundy on Thu, 20 Dec 1990 16:03

Re: A Mistake in "The Z Notation"?
By: Jim Grundy on Thu, 20 Dec 1990 12:49

A Mistake in "The Z Notation"?
By: Jim Grundy on Thu, 20 Dec 1990 12:19

Re: formal system specification surveys
By: Dr. Ranga R. Vemuri on Fri, 21 Dec 1990 04:18

Re: formal system specification surveys
By: Harro Kremer on Wed, 19 Dec 1990 13:41

Re: formal system specification surveys
By: Darren New on Thu, 20 Dec 1990 19:21

Re: formal system specification surveys
By: Martin Weigele on Thu, 20 Dec 1990 10:24

Re: formal system specification surveys
By: Don Sannella on Wed, 19 Dec 1990 15:30

Re: Tech Reports from Oxford PRG
By: Jonathan Bowen on Wed, 19 Dec 1990 15:09

formal system specification surveys
By: 533 on Mon, 17 Dec 1990 19:09

Re: formal system specification surveys
By: Brian Hansen on Tue, 18 Dec 1990 03:31

Re: Advantages of Z and VDM over Dijkstra-style specifica
By: Eric S Johansson on Fri, 02 Oct 1992 01:03

Re: Specifying a ring in LOTOS
By: Jan Rekers on Fri, 02 Oct 1992 09:04

Re: Specifying a ring in LOTOS
By: Ken Warkentyne on Thu, 01 Oct 1992 16:03

ISSAC'93 Call for Paper (LaTeX)
By: Andrei Voronkov on Thu, 01 Oct 1992 14:12

Re: Specifying a ring in LOTOS
By: Eric Dubuis on Thu, 01 Oct 1992 14:10

Specifying a ring in LOTOS
By: Jan Rekers on Thu, 01 Oct 1992 08:58

Re: Advantages of Z and VDM over Dijkstra-style specifications?
By: Cliff B Jones on Wed, 30 Sep 1992 08:59

References of applications
By: Oded Maler on Wed, 30 Sep 1992 17:23

Re: Z information
By: Martin Weigele on Tue, 29 Sep 1992 20:24

SETHEO details
By: Chris Coomber on Wed, 30 Sep 1992 00:08

Re: temporal logic tools
By: Jon Jacky on Tue, 29 Sep 1992 16:37

Looking for info on SDL 92
By: Alan Williams on Tue, 29 Sep 1992 12:59

Advantages of Z and VDM over Dijkstra-style specifications?
By: matteo vaccari on Tue, 29 Sep 1992 09:28

temporal logic tools
By: Chris Coomber on Tue, 29 Sep 1992 04:17

Post-doc grants at Nancy
By: Schobbens Pierre-Yves on Mon, 28 Sep 1992 14:27

Re: Petri Nets, Tools & Applications
By: Kurt Olender on Fri, 16 Oct 1992 16:30

Re: Looking for small examples
By: Jon Jacky on Fri, 16 Oct 1992 16:28

Re: Looking for small examples
By: Jeroen van de Lagemaat on Fri, 16 Oct 1992 09:05

Re: Specification v. design languages (was Re: Goals, Cost, and Flexibility)
By: Bernard Berthomieu,28c,6408 on Fri, 16 Oct 1992 09:19

Looking for small examples
By: Don Wilcox on Thu, 15 Oct 1992 21:19

Re: Petri Nets, Tools & Applications
By: Warren Moseley on Thu, 15 Oct 1992 15:53

OBJ for SUN workstations?
By: Bergner on Thu, 15 Oct 1992 15:53

Petri Nets, Tools & Applications
By: Anna Stenkvist on Thu, 15 Oct 1992 11:30

Microsoft Word VDM character set
By: Andrew Harry on Tue, 13 Oct 1992 14:55

Re: tools for specification
By: Eric Dubuis on Mon, 12 Oct 1992 16:19

tools for specification
By: Paolo Ciancarini on Fri, 09 Oct 1992 16:42

Re: Advantages of Z and VDM over Dijkstra-style specifications?
By: Jon Jacky on Wed, 07 Oct 1992 16:05

Re: Advantages of Z and VDM over Dijkstra-style specifications?
By: Conrad Cunningham on Thu, 01 Oct 1992 13:00

Re: Semantic definition style
By: Peter D. Mosses on Fri, 13 Nov 1992 08:48

Re: Semantic definition style
By: Ian Sutherland on Thu, 12 Nov 1992 04:13

E1 vs. T1 Signalling
By: MBX Michael Peters on Thu, 12 Nov 1992 06:30

Re: Semantic definition style
By: William F Ogden on Wed, 11 Nov 1992 19:54

Testing
By: Eoin McDonnell on Wed, 11 Nov 1992 12:02

HDLC specification
By: Eoin McDonnell on Wed, 11 Nov 1992 12:00

CCS contact
By: Eoin McDonnell on Wed, 11 Nov 1992 11:57

Re: Semantic definition style
By: Peter D. Mosses on Tue, 10 Nov 1992 10:30

New Series in Computing
By: Giuseppe Scollo on Mon, 09 Nov 1992 16:44

Re: Semantic definition style
By: Michel Moreaux on Mon, 09 Nov 1992 15:12

Re: Semantic definition style
By: Stephen J Bevan on Sat, 07 Nov 1992 14:01

Re: Semantic definition style
By: Brian King on Thu, 05 Nov 1992 10:03

ZED system FTP sites: some info.
By: Kuram T Narayana on Thu, 05 Nov 1992 18:02

Re: Semantic definition style
By: Dave Mason on Thu, 05 Nov 1992 17:15

Specificationlanguages
By: Markus Rindersbacher on Wed, 04 Nov 1992 09:42

Re: Tech Reports from Oxford PRG
By: Dwight Spencer on Thu, 13 Dec 1990 18:16

Oxford Techreport on Refinement
By: Jim Grundy on Wed, 12 Dec 1990 17:54

Research Assistantships in Formal Methods
By: Phil Windley/20000000 on Wed, 12 Dec 1990 00:07

Workshop on deontic logic in computer science
By: Wieringa j Roel on Mon, 10 Dec 1990 12:31