home.social

#processalgebra — Public Fediverse posts

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

fetched live
  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] ·

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

    #formalmethods #automata #processalgebra
  3. 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
  4. vy @[email protected] ·

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

    #processalgebra #automata #formalmethods
  5. 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
  6. 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
  7. 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
  8. 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
  9. vy @[email protected] ·

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

    #computerscience #verification #processalgebra #automata
  10. 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
  11. vy @[email protected] ·

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

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

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

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

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

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

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

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

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

    #computerscience #verification #formalmethods #processalgebra
  16. 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
  17. 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
  18. 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
  19. 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

    #processalgebra #automata
  20. 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
  21. 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
  22. glyn @underlap ·

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

    #jsonpath #softwarestandards #processalgebra #failuresdivergencerefinement #communicatingsequentialprocesses #formalmethods
  23. 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
  24. 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
  25. 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
  26. vy @[email protected] ·

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

    #processalgebra #monads
  27. vy @[email protected] ·

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

    #processalgebra #monads
  28. vy @[email protected] ·

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

    #processalgebra #monads
  29. vy @[email protected] ·

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

    #monads #processalgebra