home.social

#processalgebra — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #processalgebra, aggregated by home.social.

  1. vy @[email protected] ·

    New version of the process algebra and classical automata theory paper
    #formalmethods #automata #processalgebra
    yodaiken.com/2022/05/07/proces

    #formalmethods #automata #processalgebra
  2. vy @[email protected] ·

    A 2009 note on Automata and Process Algebra.
    yodaiken.com/2009/07/05/robin-
    #automata #processalgebra #verification #computerscience

    #automata #processalgebra #verification #computerscience
  3. vy @[email protected] ·

    yodaiken.com/2022/05/07/proces
    #computerscience #verification #formalmethods #processalgebra

    #computerscience #verification #formalmethods #processalgebra
  4. vy @[email protected] ·

    New paper on automata and process algebra has arrived. Soon to be a Netflix series, perhaps.

    arxiv.org/abs/2205.03515
    #automata #processalgebra

    #automata #processalgebra
  5. glyn @underlap ·

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

    #jsonpath #softwarestandards #processalgebra #failuresdivergencerefinement #communicatingsequentialprocesses #formalmethods
  6. glyn @[email protected] ·

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

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

    #jsonpath #softwarestandards #processalgebra #failuresdivergencerefinement #communicatingsequentialprocesses #formalmethods
  7. glyn @[email protected] ·

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

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

    #jsonpath #softwarestandards #processalgebra #failuresdivergencerefinement #communicatingsequentialprocesses #formalmethods
  8. glyn @[email protected] ·

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

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

    #formalmethods #communicatingsequentialprocesses #failuresdivergencerefinement #processalgebra #softwarestandards #jsonpath
  9. glyn @[email protected] ·

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

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

    #jsonpath #softwarestandards #processalgebra #failuresdivergencerefinement #communicatingsequentialprocesses #formalmethods
  10. vy @[email protected] ·

    #processalgebra for verification is even worse than #monads in functional programming languages

    #processalgebra #monads