<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>Yeah, that's good. I think the importance of the conclusion was laetr confirmed in the papers on await statement "primitive" developed for a Modula-3 Thread implementation on Pthread systems, anyways, just the same conclusion if I may say so.<br>In other affairs I have searched and found that the formal specification of Modula-3 was done apparently in an effort by DEC-SRC Luca and Greg and DEC-PRL staff, but after written it was proved and it never ended, it was like 30 pages long.<br>It could be nice to see whether we could rework it and test it against a specific language formalizations in terms of results achieved of the new mathematical frameworks based on that of mathematics constructions theory like that of Feferman, he seemed to propose a new framework to redefine mathematics on which all the normal theories fit  and applicable as a
 lambda calculus  as a way to include the formal description of a computer language:<br>http://turing.une.edu.au/~iam/Data/Papers/93ic.ps<br><br>This is perhaps the most advanced or the state of the art framework for doing that, interesting to see what works with that, see Modula-3 there could be very nice.<br><br>Thanks in advance<br>--- El <b>vie, 2/9/11, felipe valdez <i><felipevaldez@gmail.com></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: felipe valdez <felipevaldez@gmail.com><br>Asunto: Re: [M3devel] A Thread SMP implementation on UMAX Encore EMT<br>Para: "Daniel Alejandro Benavides D." <dabenavidesd@yahoo.es><br>CC: m3devel@elegosoft.com<br>Fecha: viernes, 2 de septiembre, 2011 11:03<br><br><div id="yiv131978534"><font face="courier new,monospace">Daniel, thanks for the link.<br></font><div><font class="yiv131978534Apple-style-span"
 face="'courier new', monospace"><br></font></div><div><font class="yiv131978534Apple-style-span" face="'courier new', monospace">out of curiosity, I entered to this url:</font></div>

<div><font class="yiv131978534Apple-style-span" face="'courier new', monospace"><br></font></div><div><font class="yiv131978534Apple-style-span" face="'courier new', monospace"><a rel="nofollow" target="_blank" href="http://www.cs.ncl.ac.uk/publications/trs/papers/">http://www.cs.ncl.ac.uk/publications/trs/papers/</a></font></div>

<div><br></div><div>and found even more interesting stuff.</div><div><br></div><div><br></div><div>thanks, I really appreciate it!</div><div><br></div><div><font class="yiv131978534Apple-style-span" face="'courier new', monospace"><br>

</font><div class="yiv131978534gmail_quote">On Thu, Sep 1, 2011 at 7:07 PM, Daniel Alejandro Benavides D. <span dir="ltr"><<a rel="nofollow" ymailto="mailto:dabenavidesd@yahoo.es" target="_blank" href="/mc/compose?to=dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>></span> wrote:<br><blockquote class="yiv131978534gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<a rel="nofollow" target="_blank" href="http://www.cs.ncl.ac.uk/publications/trs/papers/420.pdf">http://www.cs.ncl.ac.uk/publications/trs/papers/420.pdf</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>312-444-2124<div>Skype: f3l.headhunter</div><div>Casa: 8043901</div><div><br></div><div><br></div><br>
</div>
</div></blockquote></td></tr></table>