Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
Realisability of pomsets via communicating automata
KTH, Skolan för elektroteknik och datavetenskap (EECS), Teoretisk datalogi, TCS.
2018 (engelsk)Inngår i: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association , 2018, Vol. 279, s. 37-51Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Pomsets are a model of concurrent computations introduced by Pratt. They can provide a syntax-oblivious description of semantics of coordination models based on asynchronous message-passing, such as Message Sequence Charts (MSCs). In this paper, we study conditions that ensure a specification expressed as a set of pomsets can be faithfully realised via communicating automata. Our main contributions are (i) the definition of a realisability condition accounting for termination soundness, (ii) conditions for global specifications with “multi-threaded” participants, and (iii) the definition of realisability conditions that can be decided directly over pomsets. A positive by-product of our approach is the efficiency gain in the verification of the realisability conditions obtained when restricting to specific classes of choreographies characterisable in term of behavioural types.

sted, utgiver, år, opplag, sider
Open Publishing Association , 2018. Vol. 279, s. 37-51
Serie
Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180 ; 279
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-241856DOI: 10.4204/EPTCS.279.6ISI: 000465427700007Scopus ID: 2-s2.0-85060051773OAI: oai:DiVA.org:kth-241856DiVA, id: diva2:1282648
Konferanse
11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, 20 June 2018 through 21 June 2018
Prosjekter
Trustfull
Merknad

QC 20190125

Tilgjengelig fra: 2019-01-25 Laget: 2019-01-25 Sist oppdatert: 2019-10-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Guanciale, Roberto

Søk i DiVA

Av forfatter/redaktør
Guanciale, Roberto
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

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

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