Relationship between Structured Concurrency and Synchronous Languages

Hi,

I wrote about the relationship between Structured Concurrency and Synchronous Languages (e.g., Esterel):

(I’m also the developer of Céu, another synchronous language.)

3 Likes

Just read your article discussing the relationship between Structured Concurrency and Synchronous Languages. I’ve been a fan of your blog for quite some time now, but this is by far one of the best articles I’ve read!

1 Like

Do you agree that SC must be synchronous?

I don’t think it’s the case. Kotlin’s library is a good example. It’s structured concurrency, but supports both real OS threads and cooperative multitasking. (My strong preference is for the latter, however.)

But is it safe? I wonder how they deal with abortion.
I’m assuming they use Java threads, which deprecated Thread.stop() for good reasons.