Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors)
| Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software architecture
Electronic data processing - Distributed processing |
| ISBN | 3-030-78142-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. |
| Record Nr. | UNINA-9910483717903321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors)
| Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software architecture
Electronic data processing - Distributed processing |
| ISBN | 3-030-78142-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. |
| Record Nr. | UNISA-996464393503316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||