From: Charles Lindsey (chl@clerew.man.ac.uk)
Date: Thu Aug 12 2004 - 05:22:11 CDT
In <411A9F41.7070705@erols.com> Bruce Lilly <blilly@erols.com> writes:
>*IF* we were to concentrate on the format and not processes,
>much of the recent bickering would be moot. However, as they
>currently stand, the Lindsey drafts do concentrate on processes
>(duties of this widget, duties of that gizmo, etc.) rather than
>format.
Not so. It specifically states
.... Insofar as
these duties are described as sequences of steps to be followed, it
should be understood that it is the effect of these sequences that is
important, and implementations may use any method that gives rise to
that same effect.
It is what is known as an "operational semantics". It works.
-- Charles H. Lindsey ---------At Home, doing my own thing------------------------ Tel: +44 161 436 6131 Fax: +44 161 436 6133 Web: http://www.cs.man.ac.uk/~chl Email: chl@clerew.man.ac.uk Snail: 5 Clerewood Ave, CHEADLE, SK8 3JU, U.K. PGP: 2C15F1A9 Fingerprint: 73 6D C2 51 93 A0 01 E7 65 E8 64 7E 14 A4 AB A5