Trees plays with respect to processes the same role as languages do w.r.t. automata. Formally, nondeterministic processes are tree-emriched categories as automata are language-enriched categories.

Kleene's (unary) star in nondeterministic context / Labella, Anna. - STAMPA. - NS-02-2:(2002), pp. 67-68. (Intervento presentato al convegno Fixed Points In Computer Science tenutosi a Copenaghen nel 20-21 luglio 2002).

Kleene's (unary) star in nondeterministic context.

LABELLA, Anna
2002

Abstract

Trees plays with respect to processes the same role as languages do w.r.t. automata. Formally, nondeterministic processes are tree-emriched categories as automata are language-enriched categories.
2002
Fixed Points In Computer Science
Trees; nondeterminism; enriched categories
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Kleene's (unary) star in nondeterministic context / Labella, Anna. - STAMPA. - NS-02-2:(2002), pp. 67-68. (Intervento presentato al convegno Fixed Points In Computer Science tenutosi a Copenaghen nel 20-21 luglio 2002).
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/196609
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact