東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Coordination models and languages = ...

COORDINATION (Conference) (2025 :)

FindBook

Google Book

Amazon

博客來

Coordination models and languages = 27th IFIP WG 6.1 International Conference, COORDINATION 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Coordination models and languages/ edited by Cinzia Di Giusto, António Ravara.
其他題名:	27th IFIP WG 6.1 International Conference, COORDINATION 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025 : proceedings /
其他題名:	COORDINATION 2025
其他作者:	Di Giusto, Cinzia.
團體作者:	COORDINATION (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xxiv, 245 p. :ill. (some col.), digital ;24 cm.
內容註:	Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial). -- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk). -- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming. -- Formalizing Errors in CCS with 3-Valued Logic. -- Verified Parameterized Choreographies. -- A Constraint Opinion Model. -- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software. -- Declarative Deployment Planning for Green Pulverised Collective Computational Systems. -- Decidability Problems for Micro-Stipula. -- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services. -- Dialects for the CoAP IoT Messaging Protocol. -- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering. -- RebeCaos. -- A Demonstrator Toolchain for Self-organizing Robot Teams.
Contained By:	Springer Nature eBook
標題:	Computer programming - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-95589-1
ISBN:	9783031955891

Coordination models and languages = 27th IFIP WG 6.1 International Conference, COORDINATION 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025 : proceedings /
Coordination models and languages27th IFIP WG 6.1 International Conference, COORDINATION 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025 : proceedings /[electronic resource] :COORDINATION 2025edited by Cinzia Di Giusto, António Ravara. - Cham :Springer Nature Switzerland :2025. - xxiv, 245 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,157311611-3349 ;. - Lecture notes in computer science ;15731..

Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial). -- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk). -- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming. -- Formalizing Errors in CCS with 3-Valued Logic. -- Verified Parameterized Choreographies. -- A Constraint Opinion Model. -- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software. -- Declarative Deployment Planning for Green Pulverised Collective Computational Systems. -- Decidability Problems for Micro-Stipula. -- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services. -- Dialects for the CoAP IoT Messaging Protocol. -- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering. -- RebeCaos. -- A Demonstrator Toolchain for Self-organizing Robot Teams.

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 17-19, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025. The 12 full papers and two invited contributions included in this book were carefully reviewed and selected from 29 submissions. This conference provides a well-established forum for the community of researchers interested in models, languages, architectures, and implementation techniques for coordination.

ISBN: 9783031955891

Standard No.: 10.1007/978-3-031-95589-1doiSubjects--Topical Terms:

840468
Computer programming
--Congresses.

LC Class. No.: QA76.6

Dewey Class. No.: 005.27

Coordination models and languages = 27th IFIP WG 6.1 International Conference, COORDINATION 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025 : proceedings /
LDR:02929nmm a2200373 a 4500 001 2413330
003 DE-He213
005 20250618124748.0
006 m d
007 cr nn 008maaau
008 260205s2025 sz s 0 eng d
020 $a 9783031955891 $q (electronic bk.)
020 $a 9783031955884 $q (paper)
024 7 $a 10.1007/978-3-031-95589-1 $2 doi
035 $a 978-3-031-95589-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.27 $2 23
090 $a QA76.6 $b .C778 2025
111 2 $a COORDINATION (Conference) $n (27th : $d 2025 : $c Lille, France) $3 3789314
245 1 0 $a Coordination models and languages $h [electronic resource] : $b 27th IFIP WG 6.1 International Conference, COORDINATION 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025 : proceedings / $c edited by Cinzia Di Giusto, António Ravara.
246 3 $a COORDINATION 2025
246 3 $a DisCoTec 2025
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xxiv, 245 p. : $b ill. (some col.), digital ; $c 24 cm.
338 $a online resource $b cr $2 rdacarrier
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15731
505 0 $a Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial). -- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk). -- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming. -- Formalizing Errors in CCS with 3-Valued Logic. -- Verified Parameterized Choreographies. -- A Constraint Opinion Model. -- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software. -- Declarative Deployment Planning for Green Pulverised Collective Computational Systems. -- Decidability Problems for Micro-Stipula. -- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services. -- Dialects for the CoAP IoT Messaging Protocol. -- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering. -- RebeCaos. -- A Demonstrator Toolchain for Self-organizing Robot Teams.
520 $a This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 17-19, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025. The 12 full papers and two invited contributions included in this book were carefully reviewed and selected from 29 submissions. This conference provides a well-established forum for the community of researchers interested in models, languages, architectures, and implementation techniques for coordination.
650 0 $a Computer programming $v Congresses. $3 840468
650 0 $a Electronic data processing $x Distributed processing $v Congresses. $3 622708
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Operating Systems. $3 892491
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Computer and Information Systems Applications. $3 3538505
700 1 $a Di Giusto, Cinzia. $3 3789315
700 1 $a Ravara, António. $3 3789316
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a International Federated Conference on Distributed Computing Techniques $n (20th : $d 2025 : $c Lille, France) $3 3789299
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15731. $3 3789317
856 4 0 $u https://doi.org/10.1007/978-3-031-95589-1
950 $a Computer Science (SpringerNature-11645)