Re: Semantic definition style

Article View: comp.specification

Article #401

Back to comp.specification Previous Next

#401

From: Piotr Rudnicki
Date: Thu, 19 Nov 1992 16:22

17 lines
1236 bytes

pdm@daimi.aau.dk (Peter D. Mosses) writes:

>In article <1992Nov18.010421.11712@cis.ohio-state.edu>, ogden@seal (William F Ogden) writes:
>>In article <1992Nov13.084826.26088@daimi.aau.dk> pdm@daimi.aau.dk (Peter D. Mosses) writes:
>>   ...

>[Perhaps we should continue this by e-mail, as it probably doesn't
>have sufficient general interest for comp.specification.]

Continue here please.

I am sure there are many people who want to see such discussions.
I am one of them.

PR
--
Piotr (Peter) Rudnicki

Technical Details

Message-ID: <piotr.722190155@sedalia>

Path: arc1-ca.pugleaf.net!sparky!uunet!gumby!destroyer!cs.ubc.ca!alberta!piotr

References:

<720801988.16035@minster.york.ac.uk> <1992Nov11.195443.23006@cis.ohio-state.edu> <1992Nov13.084826.26088@daimi.aau.dk> <1992Nov18.010421.11712@cis.ohio-state.edu> <1992Nov18.083324.27725@daimi.aau.dk>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!gumby!destroyer!cs.ubc.ca!alberta!piotr
From: piotr@cs.UAlberta.CA (Piotr Rudnicki)
Subject: Re: Semantic definition style
Message-ID: <piotr.722190155@sedalia>
Keywords: structural operational semantics, denotational semantics, nondeterminism
Sender: news@cs.UAlberta.CA (News Administrator)
Nntp-Posting-Host: sedalia.cs.ualberta.ca
Organization: University of Alberta, Edmonton, Canada
References: <720801988.16035@minster.york.ac.uk> <1992Nov11.195443.23006@cis.ohio-state.edu> <1992Nov13.084826.26088@daimi.aau.dk> <1992Nov18.010421.11712@cis.ohio-state.edu> <1992Nov18.083324.27725@daimi.aau.dk>
Date: Thu, 19 Nov 1992 16:22:35 GMT
Lines: 18

Reply to Parent Message