Vector Team Automata (Articolo in rivista)

Type
Label
  • Vector Team Automata (Articolo in rivista) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/j.tcs.2011.12.020 (literal)
Alternative label
  • Ter Beek M. H., Kleijn J. (2012)
    Vector Team Automata
    in Theoretical computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H., Kleijn J. (literal)
Pagina inizio
  • 21 (literal)
Pagina fine
  • 29 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.sciencedirect.com/science/article/pii/S0304397511009868 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 429 (literal)
Rivista
Note
  • PuMa (literal)
  • ISI Web of Science (WOS) (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Italy; LIACS, Universiteit Leiden, Leiden, The Netherlands; (literal)
Titolo
  • Vector Team Automata (literal)
Abstract
  • Vector team automata are team automata with an explicit representation of synchronizations. This makes a translation possible of a subclass of vector team automata into individual token net controllers, a model of labeled Petri nets developed within the framework of vector controlled concurrent systems. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it