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

Direct link
Referera
Referensformat
  • apa
  • 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
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 (engelsk)Inngå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-229Konferansepaper, Publicerat paper (Fagfellevurdert)
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

sted, utgiver, år, opplag, sider
Cham: Springer, 2015. Vol. 9392, s. 215-229
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9392
Emneord [en]
Structural Operational Semantics, Rule Formats, Pre-Congruence, XY-Simulation
HSV kategori
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
Konferanse
The 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015), Tehran, Iran, 22-24 April, 2015
Prosjekter
EFFEMBAC ( (Effective Model-Based Testing of Concurrent Systems)
Forskningsfinansiär
Swedish Research Council, 621-2014-5057ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsTilgjengelig fra: 2015-08-10 Laget: 2015-08-10 Sist oppdatert: 2018-03-22bibliografisk kontrollert

Open Access i DiVA

fulltext(631 kB)103 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 631 kBChecksum SHA-512
35afc9b0203c25e5e387265fb976e44b4c2596130eb8c6fad825b75dad50636666fd351b99da64eff5326f52f68db1e8057f1020cc3c269e389f11809aee3fab
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Beohar, HarshMousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Beohar, HarshMousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

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

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • 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