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
A Pre-congruence Format for XY-simulation
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2015 (Engelska)Ingår i: Fundamentals of Software Engineering: 6th International Conference, FSEN 2015 Tehran, Iran, April 22–24, 2015, Revised Selected Papers / [ed] Mehdi Dastani & Marjan Sirjani, Cham: Springer, 2015, Vol. 9392, s. 215-229Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

XY-simulation is a generalization of bisimulation that is parameterized with two subsets of actions. XY-simulation is known in the literature under different names such as modal refinement, partial bisimulation, and alternating simulation. In this paper, we propose a precongruence rule format for XY-simulation. The format allows for checking compositionality of XY-simulation for an arbitrary language with structural operational semantics, by performing very simple checks on the syntactic shape of the rules. We apply our format to derive concrete compositionality results for different notions of behavioral pre-order with respect to different process calculi in the literature. © IFIP International Federation for Information Processing 2015

Ort, förlag, år, upplaga, sidor
Cham: Springer, 2015. Vol. 9392, s. 215-229
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9392
Nyckelord [en]
Structural Operational Semantics, Rule Formats, Pre-Congruence, XY-Simulation
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:hh:diva-29103DOI: 10.1007/978-3-319-24644-4_15ISI: 000366208800015Scopus ID: 2-s2.0-84950326879ISBN: 978-3-319-24643-7 ISBN: 978-3-319-24644-4 OAI: oai:DiVA.org:hh-29103DiVA, id: diva2:844856
Konferens
The 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015), Tehran, Iran, 22-24 April, 2015
Projekt
EFFEMBAC ( (Effective Model-Based Testing of Concurrent Systems)
Forskningsfinansiär
Vetenskapsrådet, 621-2014-5057ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsTillgänglig från: 2015-08-10 Skapad: 2015-08-10 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

fulltext(631 kB)86 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 631 kBChecksumma SHA-512
35afc9b0203c25e5e387265fb976e44b4c2596130eb8c6fad825b75dad50636666fd351b99da64eff5326f52f68db1e8057f1020cc3c269e389f11809aee3fab
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Beohar, HarshMousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Beohar, HarshMousavi, Mohammad Reza
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 86 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
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 311 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