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
Realisability of pomsets via communicating automata
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.
2018 (English)In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association , 2018, Vol. 279, p. 37-51Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Open Publishing Association , 2018. Vol. 279, p. 37-51
Series
Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN 2075-2180 ; 279
National Category
Control Engineering
Identifiers
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
Conference
11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, 20 June 2018 through 21 June 2018
Projects
Trustfull
Note

QC 20190125

Available from: 2019-01-25 Created: 2019-01-25 Last updated: 2019-10-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Guanciale, Roberto

Search in DiVA

By author/editor
Guanciale, Roberto
By organisation
Theoretical Computer Science, TCS
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 17 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