Výsledky vyhledávání

Towards a taxonomy for reversible computation approaches

Autor: Glück, R, Lanese, I, Mezzina, CA, Miszczak, JA, Phillips, I, Ulidowski, I, Vidal, G

Publikováno v: 15th International Conference on Reversible Computation (RC)

Reversible computation is a paradigm allowing computation to proceed not only in the usual, forward direction, but also backwards. Reversible computation has been studied in a variety of models, including sequential and concurrent programming languag

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1032::076c8c78870233fb1798069c8b1f4167
http://hdl.handle.net/10044/1/103945

Zobrazit plný text záznamu

Formal Choreographic Languages

Autor: Barbanera, F, Lanese, I, Tuosto, E

Publikováno v: Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
COORDINATION 2022-24th International Conference on Coordination Models and Languages
COORDINATION 2022-24th International Conference on Coordination Models and Languages, Jun 2022, Lucca, Italy. pp.121-139, ⟨10.1007/978-3-031-08143-9_8⟩
Lecture Notes in Computer Science ISBN: 9783031081453

International audience; We introduce formal choreography languages as a meta-model to study message-passing systems. This allows us to compare and generalise standard constructions and properties from the literature. In particular, we consider notion

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8f1ca5215958eed7b0caa01fa9eacbf
https://inria.hal.science/hal-03917266/document

Zobrazit plný text záznamu

Design-by-contract for flexible multiparty session protocols - choreography automata for distributed TypeScript programming (Artifact)

Autor: Gheri, L, Lanese, I, Sayers, N, Tuosto, E, Yoshida, N

Publikováno v: ECOOP 2022 (Artifacts Evaluation)

We introduce CAScr, the first implementation of Scribble (http://www.scribble.org, https:// nuscr.dev/) that relies on choreography automata, for deadlock-free distributed programming. CAScr supports the main theoretical results and construc- tions i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1032::7b7438a7282fd942604a048a87c66d24
http://hdl.handle.net/10044/1/97308

Zobrazit plný text záznamu

Design-by-contract for flexible multiparty session protocols - choreography automata for distributed typescript programming

Autor: Gheri, L, Lanese, I, Sayers, N, Tuosto, E, Yoshida, N

Publikováno v: European Conference on Object-Oriented Programming (ECOOP 2022)

Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication patterns from a global specification of the desired system behaviour. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1032::d54f7bd783ad47cc2d2a1432ac57d450
http://hdl.handle.net/10044/1/97113

Zobrazit plný text záznamu

A ground motion model for seismic vulnerability assessment of prototype industrial plants

Autor: Nardin C., di Filippo R., Endrizzi R., Lanese I., Paolacci F., Bursi O. S.

Relationships between seismic action, system response and relevant damage levels in industrial plants require a solid background both in experimental data, due to the high level of nonlinearity, and in knowledge of seismic input due to large uncertai

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3668::91e6e4a13ede09d6fafdcb819d358e38
https://hdl.handle.net/11590/390668

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání