Proof rules for Angelic choice

Thread View: comp.specification

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Gary Leavens Mon, 16 Jul 1990 21:42

#144

Author: Gary Leavens
Date: Mon, 16 Jul 1990 21:42

11 lines
770 bytes

	Thanks to those who responded to my initial query on this subject.
Those who followed it may also be interested in DEC SRC research report 38,
"Can fair choice be added to Dijkstra's calculus" by Broy and Nelson
(Feb, 1989).
	Gary Leavens

--
	229 Atanasoff Hall, Department of Computer Science
	Iowa State University, Ames, Iowa 50011-1040, USA
	phone: (515) 294-1580

SafetyNet'90 Conference: CHANGE OF VENUE

#146

Author: Cliff Jones
Date: Thu, 19 Jul 1990 17:26

18 lines
893 bytes

Full details available from:
	Liz Kerr or Digby Dyke

	SafetyNet
	PO Box 79
	19 Trinity Street
	Worcester
	WR1 2PX
	England

	tel: ++ 44 905 611512
	FAX: ++ 44 905 612829
	telex: 335048 (CHATEC G)

I am only slightly involved - please contact the above for
information.

cliff jones

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads