@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS044 prodottidellaricerca:prodotto prodotto:ID206281 . @prefix pubblicazioni: . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID18953 pubblicazioni:autoreCNRDi prodotto:ID206281 . @prefix modulo: . modulo:ID2828 prodottidellaricerca:prodotto prodotto:ID206281 . @prefix rdf: . prodotto:ID206281 rdf:type prodotto:TIPO1301 . @prefix retescientifica: . prodotto:ID206281 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID206281 rdfs:label "On Conditions for Modular Verification in Systems of Synchronising Components (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID206281 pubblicazioni:anno "2011-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID206281 skos:altLabel "
Drabik P. [1], Milazzo P. [2], Maggiolo-Schettini A. [2] (2011)
On Conditions for Modular Verification in Systems of Synchronising Components
in Concurrency, Specification, and Programming, Pultusk, Polonia, 28-30 Sep 2011
"^^rdf:HTML ; pubblicazioni:autori "Drabik P. [1], Milazzo P. [2], Maggiolo-Schettini A. [2]"^^xsd:string ; pubblicazioni:paginaInizio "111"^^xsd:string ; pubblicazioni:paginaFine "122"^^xsd:string ; pubblicazioni:altreInformazioni "ID_PUMA: cnr.iit/2011-A2-066. \nArea di valutazione 15a - Scienze e tecnologie per una societ\u00E0 dell'informazione e della comunicazione."^^xsd:string ; pubblicazioni:volumeInCollana "120"^^xsd:string ; skos:note "ISI Web of Science (WOS)"^^xsd:string , "Scopu"^^xsd:string ; pubblicazioni:affiliazioni "[1] CNR-IIT, Pisa, Italy; [2] Dipartimento di Informatica, Universit?\u00E0 di Pisa, Pisa, Italy"^^xsd:string ; pubblicazioni:titolo "On Conditions for Modular Verification in Systems of Synchronising Components"^^xsd:string ; prodottidellaricerca:abstract "Property preservation is investigated as an approach tomodular verification, leading to reduction of the property verificationtimefor formal models. For modelling purposes, formalisms withmulti-waysynchronisations are considered. For the modular verificationtechniqueto work, a specific type of synchronisation is required forwhich a necessary condition is identified. It is a requirement on thesemantics of theformalism, which is restricted to permit simultaneousexecution only of component moves that make reference to each other."@en ; prodottidellaricerca:prodottoDi modulo:ID2828 , istituto:CDS044 ; pubblicazioni:autoreCNR unitaDiPersonaleEsterno:ID18953 . @prefix parolechiave: . prodotto:ID206281 parolechiave:insiemeDiParoleChiave . parolechiave:insiemeDiParoleChiaveDi prodotto:ID206281 .