Idioma:

Structured coalgebras and minimal HD-automata for the π -calculus

Montanari, Ugo ; Pistore, Marco

Theoretical computer science, 2005-08, Vol.340 (3), p.539-576 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por

Enviar para

Título:
Structured coalgebras and minimal HD-automata for the π -calculus
Autor: Montanari, Ugo ; Pistore, Marco
Assuntos: [formula omitted]-calculus ; Algorithmics. Computability. Computer arithmetics ; Applied sciences ; Automata theory ; Automata. Abstract machines. Turing machines ; Categorical models and logics ; Coinductive techniques ; Computer science; control theory; systems ; Concurrency and distributed computation ; Exact sciences and technology ; General logic ; Logic and foundations ; Mathematical logic, foundations, set theory ; Mathematics ; Sciences and techniques of general use ; Theoretical computing
É parte de: Theoretical computer science, 2005-08, Vol.340 (3), p.539-576
Descrição: The coalgebraic framework developed for the classical process algebras, and in particular its advantages concerning minimal realizations, does not fully apply to the π -calculus, due to the constraints on the freshly generated names that appear in the bisimulation. In this paper we propose to model the transition system of the π -calculus as a coalgebra on a category of name permutation algebras and to define its abstract semantics as the final coalgebra of such a category. We show that permutations are sufficient to represent in an explicit way fresh name generation, thus allowing for the definition of minimal realizations. We also link the coalgebraic semantics with a slightly improved version of history dependent (HD) automata, a model developed for verification purposes, where states have local names and transitions are decorated with names and name relations. HD-automata associated with agents with a bounded number of threads in their derivatives are finite and can be actually minimized. We show that the bisimulation relation in the coalgebraic context corresponds to the minimal HD-automaton.
Editor: Amsterdam: Elsevier B.V
Idioma: Inglês

Links

View record in Pascal Francis

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Structured coalgebras and minimal HD-automata for the π -calculus

Montanari, Ugo ; Pistore, Marco

Amsterdam: Elsevier B.V

Buscando em bases de dados remotas. Favor aguardar.