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