hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Pre-congruence Format for XY-simulation
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2015 (English)In: 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, 215-229 p.Conference paper, (Refereed)
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

Place, publisher, year, edition, pages
Cham: Springer, 2015. Vol. 9392, 215-229 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9392
Keyword [en]
Structural Operational Semantics, Rule Formats, Pre-Congruence, XY-Simulation
National Category
Computer Science
Identifiers
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: diva2:844856
Conference
The 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015), Tehran, Iran, 22-24 April, 2015
Projects
EFFEMBAC ( (Effective Model-Based Testing of Concurrent Systems)
Funder
Swedish Research Council, 621-2014-5057ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Available from: 2015-08-10 Created: 2015-08-10 Last updated: 2016-12-01Bibliographically approved

Open Access in DiVA

fulltext(631 kB)41 downloads
File information
File name FULLTEXT01.pdfFile size 631 kBChecksum SHA-512
35afc9b0203c25e5e387265fb976e44b4c2596130eb8c6fad825b75dad50636666fd351b99da64eff5326f52f68db1e8057f1020cc3c269e389f11809aee3fab
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Beohar, HarshMousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 41 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 108 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf