<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Process Algebraic View of Input/Output Automata"^^ . "Input/output automata are a widely used formalism for the specification and verification of concurrent algorithms. Unfortunately, they lack an algebraic characterization, a formalization which has been fundamental for the success of theories like CSP, CCS and ACP. We present a many-sorted algebra for I/O automata that takes into account notions such as interface, input enabling, and local control. It is sufficiently expressive for representing all finitely branching transition systems; hence, all I/O automata with a finitely branching transition relation. Our presentation includes a complete axiomatization of the external trace preorder relation over recursion-free processes with input and output."^^ . "1995" . "138" . "2" . . "Elsevier"^^ . . . "Theoretical Computer Science"^^ . . . "03043975" . . . . . . . . . . "Roberto"^^ . "Segala"^^ . "Roberto Segala"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #366 \n\nA Process Algebraic View of Input/Output Automata\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .