Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
Identifieur interne : 00DE07 ( Main/Curation ); 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
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000B47
- to stream Istex, to step Curation: Pour aller vers cette notice dans l'étape Curation :000B41
- to stream Istex, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :003213
- to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :00E687
Links to Exploration step
ISTEX:3102A2F9CA381AC463B1E790B5A0335D7BD7B7DCLe 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>
</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>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00DE07 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Curation/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= Curation |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. | ![]() |