Re: Z and Concurrency

Thread View: comp.specification.z

1 messages

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

1 total messages Started by Michael Hinchey Sat, 03 Oct 1992 13:28

#88

Author: Michael Hinchey
Date: Sat, 03 Oct 1992 13:28

47 lines
1741 bytes

   
dsd

Dear Dr. Knaggs,

I have read your message on Z-forum, and am very interested in your
paper.  I would have liked to attend that conference in Nantes, but
unfortunately it clashed with the submission of my M.Sc.

I am just starting my Ph.D. here at Cambridge.  I haven't sorted out
the exact area that I will be working in as yet, but it will be to
do mainly with integrating structural design and formal methods 
(specifically Z), and theorem provers (Isabelle).  As my M.Sc. dealt
with real-time systems, I am thinking of looking in particular at
how combinations of the above could be used in reactive systems.

Your paper would therefore be of great interest to me.  Would it
be possible to get a LaTeX copy of it; or will the proceedings be
published in the near future?

Thank you for your time.

Regards,

-- Mike.
.

-----------------------------------------------------------------------------
Michael G. Hinchey

University of Cambridge Computer Laboratory,		St. John's College,
New Museums Site,					CAMBRIDGE,
Pembroke Street,					CB2 1TP,
CAMBRIDGE,						England.
CB2 3QG,
England.


	Voice	: +44-223-332400	(Laboratory)
		  +44-223-334420	(Direct)

	Fax	: +44-223-334678

	e-mail	: Michael.Hinchey@cl.cam.ac.uk
		  HINCHEYM@ul.ie
		  hincheym@itdsrv1.ul.ie

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