hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Robustness of equations under operational extensions
Department of Computer Science, Swansea University Singleton Park, Swansea, SA2 8PP, United Kingdom.
Department of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands.ORCID-id: 0000-0002-4869-6794
Department of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands.
2010 (engelsk)Inngår i: Proceedings 17th International Workshop on Expressiveness in Concurrency / [ed] Fröschle, Sibylle; Valencia, Frank D., 2010, Vol. 41, s. 106-120Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Sound behavioral equations on open terms may become unsoundafter conservative extensions ofthe underlying operational semantics. Providing criteriaunder which such equations are preserved isextremely useful; in particular, it can avoid the need to repeat proofs when extending the specifiedlanguage.This paper investigates preservation of sound equations for several notions of bisimilarity onopen terms: closed-instance (ci-)bisimilarity and formal-hypothesis (fh-)bisimilarity, both due toRobert de Simone, and hypothesis-preserving (hp-)bisimilarity, due to Arend Rensink. For both fh-bisimilarity and hp-bisimilarity, we prove that arbitrarysound equations on open terms are preservedby all disjoint extensions which do not add labels. We also define slight variations of fh- and hp-bisimilarity such that all sound equations are preserved byarbitrary disjoint extensions. Finally, wegive two sets of syntactic criteria (on equations, resp. operational extensions) and prove each of themto be sufficient for preserving ci-bisimilarity.

sted, utgiver, år, opplag, sider
2010. Vol. 41, s. 106-120
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20532DOI: 10.4204/EPTCS.41.8OAI: oai:DiVA.org:hh-20532DiVA, id: diva2:584477
Konferanse
17th International Workshop (EXPRESS’10), Paris, France, August 30th, 2010
Tilgjengelig fra: 2013-01-09 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltext(143 kB)158 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 143 kBChecksum SHA-512
a77f57d299f2147f0c7bf836948b25a190f1e44b1da7554fae64712bd5f3da84e25ef8996f1dead1ded1ab4536f631c2ef9b00ee632d5ee1cb1748838144e193
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstDownload fulltext

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 158 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 120 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf