underlap, 1 month ago to random

New blog post: Process algebra and JSONPath descendant segment semantics
https://underlap.org/process-algebra-and-jsonpath-descendant-segment-semantics

#JSONPath #SoftwareStandards #ProcessAlgebra #FailuresDivergenceRefinement #CommunicatingSequentialProcesses #FormalMethods

toxi, 9 months ago (edited 9 months ago) to random

After some friendly inquiry by @computersandblues, I spent a few hours today adding basic CSP (#CommunicatingSequentialProcesses) primitives for https://thi.ng/fibers and writing some preliminary documentation. I'm amazed how simple (and easy!) it was this time around (compared to https://thi.ng/csp) and it's giving me big hopes for the fiber based approach in general...

Readme section:
https://github.com/thi-ng/umbrella/blob/develop/packages/fibers/README.md#csp-primitives-communicating-sequential-processes

2-channel ping/pong example:
https://github.com/thi-ng/umbrella/blob/develop/packages/fibers/README.md#csp-pingpong-example

Source code & doc strings:
https://github.com/thi-ng/umbrella/blob/develop/packages/fibers/src/csp.ts

#ThingUmbrella #TypeScript #Coroutines #CSP #CooperativeMultitasking