Composing event constraints in state-based specification (Articolo in rivista)

Type
Label
  • Composing event constraints in state-based specification (Articolo in rivista) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-30232-2_2 (literal)
Alternative label
  • Bolognesi T. (2004)
    Composing event constraints in state-based specification
    in Lecture notes in computer science; Springer Berlin / Heildelberg, Berlin (Germania)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bolognesi T. (literal)
Pagina inizio
  • 13 (literal)
Pagina fine
  • 32 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Invited Talk ISSN: 03029743 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.springerlink.com/content/h4l9kjkxy68291jq/ (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 3235 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • FORTE 2004: 24th IFIP WG 6.1 International Conference (Madrid, Spain, September 27-30, 2004). David de Frutos-Escrig, Manuel Nunez (Eds.). Proceedings. Springer, 2004. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 20 (literal)
Note
  • Scopu (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI/CNR (literal)
Titolo
  • Composing event constraints in state-based specification (literal)
Abstract
  • Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints on event occurrences and event parameters. This paper investigates the possibility to export this specification paradigm to a state-based formalism, and discusses some deriving advantages in terms of verification. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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