hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Proceedings 17th International Workshop on Expressiveness in Concurrency / [ed] Fröschle, Sibylle; Valencia, Frank D., 2010, Vol. 41, s. 106-120Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2010. Vol. 41, s. 106-120
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:hh:diva-20532DOI: 10.4204/EPTCS.41.8OAI: oai:DiVA.org:hh-20532DiVA, id: diva2:584477
Konferens
17th International Workshop (EXPRESS’10), Paris, France, August 30th, 2010
Tillgänglig från: 2013-01-09 Skapad: 2013-01-08 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

fulltext(143 kB)158 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 143 kBChecksumma SHA-512
a77f57d299f2147f0c7bf836948b25a190f1e44b1da7554fae64712bd5f3da84e25ef8996f1dead1ded1ab4536f631c2ef9b00ee632d5ee1cb1748838144e193
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextDownload fulltext

Personposter BETA

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 158 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 120 träffar
RefereraExporteraLänk till posten
Permanent länk

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