Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
Identifieur interne : 00DE07 ( Main/Exploration ); précédent : 00DE06; suivant : 00DE08Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
Auteurs : R. De Nicola [Italie] ; P. Inverardi [Italie] ; M. Nesi [Italie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: An interactive system for proving properties of CCS specifications is described. This system allows users to take advantage of all three views of CCS semantics (the transitions, the operationally defined equivalences and the axioms) and to define their own verification strategies for moving from one view to another. The system relies on term rewriting techniques and manipulates only the symbolic representation of specifications without resorting to any other kind of internal representation.
Url:
DOI: 10.1007/3-540-52148-8_5
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000B47
- to stream Istex, to step Curation: 000B41
- to stream Istex, to step Checkpoint: 003213
- to stream Main, to step Merge: 00E687
- to stream Main, to step Curation: 00DE07
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications</title><author><name sortKey="De Nicola, R" sort="De Nicola, R" uniqKey="De Nicola R" first="R." last="De Nicola">R. De Nicola</name></author><author><name sortKey="Inverardi, P" sort="Inverardi, P" uniqKey="Inverardi P" first="P." last="Inverardi">P. Inverardi</name></author><author><name sortKey="Nesi, M" sort="Nesi, M" uniqKey="Nesi M" first="M." last="Nesi">M. Nesi</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:3102A2F9CA381AC463B1E790B5A0335D7BD7B7DC</idno><date when="1990" year="1990">1990</date><idno type="doi">10.1007/3-540-52148-8_5</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-VX2RXM4J-K/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000B47</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000B47</idno><idno type="wicri:Area/Istex/Curation">000B41</idno><idno type="wicri:Area/Istex/Checkpoint">003213</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">003213</idno><idno type="wicri:doubleKey">0302-9743:1990:De Nicola R:using:the:axiomatic</idno><idno type="wicri:Area/Main/Merge">00E687</idno><idno type="wicri:Area/Main/Curation">00DE07</idno><idno type="wicri:Area/Main/Exploration">00DE07</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications</title><author><name sortKey="De Nicola, R" sort="De Nicola, R" uniqKey="De Nicola R" first="R." last="De Nicola">R. De Nicola</name><affiliation wicri:level="3"><country xml:lang="fr" wicri:curation="lc">Italie</country><wicri:regionArea>IEI - CNR, Via S. Maria 46, I-56100, Pisa</wicri:regionArea><placeName><settlement type="city">Pise</settlement><region nuts="2">Toscane</region></placeName></affiliation></author><author><name sortKey="Inverardi, P" sort="Inverardi, P" uniqKey="Inverardi P" first="P." last="Inverardi">P. Inverardi</name><affiliation wicri:level="3"><country xml:lang="fr" wicri:curation="lc">Italie</country><wicri:regionArea>IEI - CNR, Via S. Maria 46, I-56100, Pisa</wicri:regionArea><placeName><settlement type="city">Pise</settlement><region nuts="2">Toscane</region></placeName></affiliation></author><author><name sortKey="Nesi, M" sort="Nesi, M" uniqKey="Nesi M" first="M." last="Nesi">M. Nesi</name><affiliation wicri:level="3"><country xml:lang="fr" wicri:curation="lc">Italie</country><wicri:regionArea>Consorzio Pisa Ricerche, Via Risorgimento 9, I-56100, Pisa</wicri:regionArea><placeName><settlement type="city">Pise</settlement><region nuts="2">Toscane</region></placeName></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">Lect Notes Comput Sci</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: An interactive system for proving properties of CCS specifications is described. This system allows users to take advantage of all three views of CCS semantics (the transitions, the operationally defined equivalences and the axioms) and to define their own verification strategies for moving from one view to another. The system relies on term rewriting techniques and manipulates only the symbolic representation of specifications without resorting to any other kind of internal representation.</div></front></TEI><affiliations><list><country><li>Italie</li></country><region><li>Toscane</li></region><settlement><li>Pise</li></settlement></list><tree><country name="Italie"><region name="Toscane"><name sortKey="De Nicola, R" sort="De Nicola, R" uniqKey="De Nicola R" first="R." last="De Nicola">R. De Nicola</name></region><name sortKey="Inverardi, P" sort="Inverardi, P" uniqKey="Inverardi P" first="P." last="Inverardi">P. Inverardi</name><name sortKey="Nesi, M" sort="Nesi, M" uniqKey="Nesi M" first="M." last="Nesi">M. Nesi</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00DE07 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00DE07 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:3102A2F9CA381AC463B1E790B5A0335D7BD7B7DC
|texte= Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
}}
| This area was generated with Dilib version V0.6.33. |  |