
27 Nov
2005
27 Nov
'05
6:37 p.m.
Hello jerzy, Sunday, November 27, 2005, 3:49:07 PM, you wrote:
for pure functional computations concurrency is just one of IMPLEMENTATION mechanisms, and it doesn't appear in abstractions DEFINITIONS
jkiuf> Well, there are formal aspects of the specification of concurrency as well. jkiuf> Do you claim that no language has the right to demand *abstractly* that jkiuf> evaluating jkiuf> runtwo (proc1) (proc2) jkiuf> mean: launch the two concurrently and process further the first outcome? for SPECIFICATION of pure functional computation? ;) -- Best regards, Bulat mailto:bulatz@HotPOP.com