Q2974797 (Q2974797): Difference between revisions

From MaRDI portal
← Older edit
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1611.09067 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding choreography realizability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2908863 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structured Communication-Centred Programming for Web Services / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structured Interactional Exceptions in Session Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deadlock-freedom-by-design / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Global Types and Multi-Party Session / rank
 
Normal rank
Property / cites work
 
Property / cites work: DSOL: a declarative approach to self-adaptive service orchestrations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiparty asynchronous session types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional Choreographies / rank
 
Normal rank
Property / cites work
 
Property / cites work: From sequential programs to multi-tier applications by program transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Placement Inference for a Client-Server Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2734510 / rank
 
Normal rank

Latest revision as of 15:39, 13 July 2024

scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    author
    Mila Dalla Preda
    0 references
    Maurizio Gabbrielli
    0 references
    Saverio Giallorenzo
    0 references
    Ivan Lanese
    0 references
    Jacopo Mauro
    0 references
    publication date
    11 April 2017
    0 references
    zbMATH Keywords
    choreographies
    0 references
    adaptable systems
    0 references
    deadlock freedom
    0 references
    describes a project that uses
    Links
    0 references
    Xtext
    0 references
    AIOCJ
    0 references

    Identifiers

    zbMATH DE Number
    6703933
    0 references
    arXiv ID
    1611.09067
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2974797&oldid=36315575"
    Powered by MediaWiki