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

Direktlänk
Referera
Referensformat
  • apa
  • 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
Modular Semantics for Transition System Specifications with Negative Premises
Swansea University, Swansea, Wales, United Kingdom. (Department of Computer Science)
Swansea University, Swansea, Wales, United Kingdom. (Department of Computer Science)
Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Eindhoven University of Technology, Eindhoven, The Netherlands.ORCID-id: 0000-0002-4869-6794
2013 (Engelska)Ingår i: Proceedings of the 24th International Conference on Concurrency Theory / [ed] Pedro R. D'Argenio & Hernán Melgratti, Heidelberg: Springer Berlin/Heidelberg, 2013, s. 46-60Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Transition rules with negative premises are needed in the structural operational semantics of programming and specification constructs such as priority and interrupt, as well as in timed extensions of specification languages. The well-known proof-theoretic semantics for transition system specifications involving such rules is based on well-supported proofs for closed transitions. Dealing with open formulae by considering all closed instances is inherently non-modular - proofs are not necessarily preserved by disjoint extensions of the transition system specification. Here, we conservatively extend the notion of well-supported proof to open transition rules. We prove that the resulting semantics is modular, consistent, and closed under instantiation. Our results provide the foundations for modular notions of bisimulation such that equivalence can be proved with reference only to the relevant rules, without appealing to all existing closed instantiations of terms. © 2013 Springer-Verlag.

Ort, förlag, år, upplaga, sidor
Heidelberg: Springer Berlin/Heidelberg, 2013. s. 46-60
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8052
Nyckelord [en]
Structural Operational Semantics, Well-Supported Proof, Conservative Extensions
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:hh:diva-23495DOI: 10.1007/978-3-642-40184-8_5Scopus ID: 2-s2.0-84882769400ISBN: 978-3-642-40183-1 ISBN: 978-3-642-40184-8 OAI: oai:DiVA.org:hh-23495DiVA, id: diva2:645854
Konferens
24th International Conference on Concurrency Theory, CONCUR 2013, Buenos Aires, Argentina, 27–30 August 2013
Forskningsfinansiär
eLLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsTillgänglig från: 2013-09-05 Skapad: 2013-09-05 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

fulltext(755 kB)293 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 755 kBChecksumma SHA-512
770c9edeeaa0459a5d345dace1c70e8c3572e48557b30147c9ed1d41f59adc78ab8be3da1537f0f46b2d0eab7cc59378140315dde88513b96a70139bc5966a03
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Person

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 293 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: 270 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • 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