#communicatingsequentialprocesses — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #communicatingsequentialprocesses, aggregated by home.social.
-
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