A Process Algebraic View of I/O Automata
The Input/Output Automata formalism of Lynch and Tuttle is a widely used framework for the specification and verification of concurrent algorithms. Unfortunately, it has never been provided with an algebraic characterization, a formalization which has been fundamental for the success of theories lik...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149733 |
| _version_ | 1826207012987338752 |
|---|---|
| author | Segala, Roberto |
| author2 | Lynch, Nancy A. |
| author_facet | Lynch, Nancy A. Segala, Roberto |
| author_sort | Segala, Roberto |
| collection | MIT |
| description | The Input/Output Automata formalism of Lynch and Tuttle is a widely used framework for the specification and verification of concurrent algorithms. Unfortunately, it has never been provided with an algebraic characterization, a formalization which has been fundamental for the success of theories like CSP, CCP and ACP. |
| first_indexed | 2024-09-23T13:42:26Z |
| id | mit-1721.1/149733 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T13:42:26Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1497332023-03-30T03:36:32Z A Process Algebraic View of I/O Automata Segala, Roberto Lynch, Nancy A. The Input/Output Automata formalism of Lynch and Tuttle is a widely used framework for the specification and verification of concurrent algorithms. Unfortunately, it has never been provided with an algebraic characterization, a formalization which has been fundamental for the success of theories like CSP, CCP and ACP. 2023-03-29T15:19:30Z 2023-03-29T15:19:30Z 1992-06 https://hdl.handle.net/1721.1/149733 27929888 MIT-LCS-TR-557 application/pdf |
| spellingShingle | Segala, Roberto A Process Algebraic View of I/O Automata |
| title | A Process Algebraic View of I/O Automata |
| title_full | A Process Algebraic View of I/O Automata |
| title_fullStr | A Process Algebraic View of I/O Automata |
| title_full_unstemmed | A Process Algebraic View of I/O Automata |
| title_short | A Process Algebraic View of I/O Automata |
| title_sort | process algebraic view of i o automata |
| url | https://hdl.handle.net/1721.1/149733 |
| work_keys_str_mv | AT segalaroberto aprocessalgebraicviewofioautomata AT segalaroberto processalgebraicviewofioautomata |