HpC: A Calculus for Hybrid and Mobile Systems Full Version
Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communicati...
Uložené v:
| Vydané v: | Proceedings of ACM on programming languages Ročník Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA) |
|---|---|
| Hlavní autori: | , , , , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
ACM
15.10.2025
|
| Predmet: | |
| ISSN: | 2475-1421, 2475-1421 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communications in a continuously evolving environment (discrete computations with predominant continuous dynamics). In the aim of ensuring the correctness and reliability of such heterogeneous infrastructures, we introduce the hybrid c-calculus (HpC), to formally capture both mobility, pervasiveness and hybridisation in infrastructures where the network topology and its communicating entities evolve continuously in the physical world. The pi-calculus proposed by Robin Milner et al. is a process calculus that can model mobile communications and computations in a very elegant manner. The HpC we propose is a conservative extension of the classical pi-calculus, i.e., the extension is "minimal", and yet describes mobility, time and physics of systems, while allowing to lift all theoretical results (e.g. bisimulation) to the context of that extension. We showcase the HpC by considering a realistic handover protocol among mobile devices. |
|---|---|
| AbstractList | Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communications in a continuously evolving environment (discrete computations with predominant continuous dynamics). In the aim of ensuring the correctness and reliability of such heterogeneous infrastructures, we introduce the hybrid c-calculus (HpC), to formally capture both mobility, pervasiveness and hybridisation in infrastructures where the network topology and its communicating entities evolve continuously in the physical world. The pi-calculus proposed by Robin Milner et al. is a process calculus that can model mobile communications and computations in a very elegant manner. The HpC we propose is a conservative extension of the classical pi-calculus, i.e., the extension is "minimal", and yet describes mobility, time and physics of systems, while allowing to lift all theoretical results (e.g. bisimulation) to the context of that extension. We showcase the HpC by considering a realistic handover protocol among mobile devices. |
| Author | Xu, Xiong Liu, Xinxin Talpin, Jean-Pierre Wu, Hao Zhan, Bohua Zhan, Naijun Wang, Shuling |
| Author_xml | – sequence: 1 givenname: Xiong surname: Xu fullname: Xu, Xiong organization: Institute of Software Chinese Academy of Sciences [Beijing] – sequence: 2 givenname: Jean-Pierre orcidid: 0000-0002-0556-4265 surname: Talpin fullname: Talpin, Jean-Pierre organization: Centre Inria de l'Université de Rennes – sequence: 3 givenname: Shuling surname: Wang fullname: Wang, Shuling organization: Institute of Software Chinese Academy of Sciences [Beijing] – sequence: 4 givenname: Hao surname: Wu fullname: Wu, Hao organization: Institute of Software Chinese Academy of Sciences [Beijing] – sequence: 5 givenname: Bohua surname: Zhan fullname: Zhan, Bohua organization: Huawei Technologies Co., Ltd., [Beijing] – sequence: 6 givenname: Xinxin surname: Liu fullname: Liu, Xinxin organization: Institute of Software Chinese Academy of Sciences [Beijing] – sequence: 7 givenname: Naijun surname: Zhan fullname: Zhan, Naijun organization: Peking University [Beijing] |
| BackLink | https://hal.science/hal-04892767$$DView record in HAL |
| BookMark | eNpNjLFOwzAUAC1UJErpB7B5ZUjws58dmy2KoEEKYqADW_SS2CIoTaqYVsrfIwQD051uuGu2GqfRM3YLIkWrtbin-b0_p1ILSIVDJS7YWmKmE0AJq39-xbYxfgohwCm0yq1ZUh6LB57zgob2NJwiD9PMy6WZ-47T2PGXqekHz9-W-OUP8YZdBhqi3_5xw_ZPj_uiTKrX3XORVwlpC4lprcPGoPfYaqc6CEJ2DowBo4JUJDwEHZS3rW86ICnJYtuQstIbRPBqw-5-tx801Me5P9C81BP1dZlX9U8TaJ3MTHYG9Q1rgUfY |
| ContentType | Journal Article |
| Copyright | Attribution |
| Copyright_xml | – notice: Attribution |
| DBID | 1XC VOOES |
| DOI | 10.48550/arXiv.2501.09430 |
| DatabaseName | Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2475-1421 |
| ExternalDocumentID | oai:HAL:hal-04892767v1 |
| GroupedDBID | 1XC AAKMM AAYFX ACM AEFXT AEJOY AIKLT AKRVB ALMA_UNASSIGNED_HOLDINGS GUFHI LHSKQ M~E OK1 ROL VOOES |
| ID | FETCH-LOGICAL-a581-6c894b64ee4c593d1f02d9166163f23a0e1f5f3e8cebd1a22a84cba382e6441e3 |
| ISSN | 2475-1421 |
| IngestDate | Tue Oct 14 20:45:32 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Theory of computation Hybrid Systems Operational semantics Bisimulation Timed and hybrid models Internet of Things Algebraic language theory Process calculi |
| Language | English |
| License | Attribution: http://creativecommons.org/licenses/by |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a581-6c894b64ee4c593d1f02d9166163f23a0e1f5f3e8cebd1a22a84cba382e6441e3 |
| ORCID | 0000-0002-0556-4265 |
| OpenAccessLink | https://hal.science/hal-04892767 |
| ParticipantIDs | hal_primary_oai_HAL_hal_04892767v1 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-10-15 |
| PublicationDateYYYYMMDD | 2025-10-15 |
| PublicationDate_xml | – month: 10 year: 2025 text: 2025-10-15 day: 15 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of ACM on programming languages |
| PublicationYear | 2025 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| SSID | ssj0001934839 |
| Score | 2.3068578 |
| SecondaryResourceType | preprint |
| Snippet | Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic... |
| SourceID | hal |
| SourceType | Open Access Repository |
| SubjectTerms | Computer Science Programming Languages |
| Subtitle | Full Version |
| Title | HpC: A Calculus for Hybrid and Mobile Systems |
| URI | https://hal.science/hal-04892767 |
| Volume | Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA) |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2475-1421 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0001934839 issn: 2475-1421 databaseCode: M~E dateStart: 20170101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lj9MwELaqhQMXlqd4K0LckEsSO03MLSqsgugjUittbpGdOrRSSavubrVc-Hn8LmYc58GKw3LgYlVOa9kz05nJ53kQ8s5nTEtXKroKFKM8YC6VKigp6EGwBthH1StNs4lwNouyTKSDwa8mF-a4Dasqur4W-__KapgDZmPq7D-wu10UJuAzMB1GYDuMt2J8sh_bdHO5RWzPFFx4n_zA1Kw6rGKnNhhB2KtVbr3TtLVmJsAjHk_xLsGGcH1HUKGBN1tPPLtCJmVwmm8dCLDd2x5fWlY0BcPbRdieN_j0GkPg29-cm2USueujEL6pXlrnYVq5mXaKy-chPOd15vNQ_2XOat65QqyJzrGiM_rXaXces5OaDnWSuD2doVPcu9tHRxzDbBYJMGY-TxeT2GIoN42Dqd2Gpu-QbY5DcP28IYZVup0lbG7_k3iRp5_O8smX2dc_n_aiF5N4AuNabikoQeGHo_AIb-F3_DAQqF2nP3tYn2A8Mk3tWjLUF-xmSx9ubgjcnHUD6xs3Z_mA3LfvJ05cy9VDMtDVI3La9P5wrCl4TCiI2Ucndhohc0DInFrIHCCeUwuZY4n7hCzPPi_HCbWtN6gMIo-OikhwNeJa8yIQbOWVrr8S-O8dsdJn0tVeGZRMR4VWK0_6vox4oSSLfI3-tWZPyUm1q_Qz4nhSwJIu50y73JNa6FAFgQojVYaBF66ek7dw2Hxf11bJsdo5UDbHuY6uL27zpZfkXieZr8jJ5eFKvyZ3i-Pl5uLwxnDkN2QSal4 |
| linkProvider | ISSN International Centre |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=HpC%3A+A+Calculus+for+Hybrid+and+Mobile+Systems&rft.jtitle=Proceedings+of+ACM+on+programming+languages&rft.au=Xu%2C+Xiong&rft.au=Talpin%2C+Jean-Pierre&rft.au=Wang%2C+Shuling&rft.au=Wu%2C+Hao&rft.date=2025-10-15&rft.pub=ACM&rft.issn=2475-1421&rft.eissn=2475-1421&rft.volume=Object-Oriented+Programming%2C+Systems%2C+Languages+and+Applications+%28SPLASH%2FOOPSLA%29&rft_id=info:doi/10.48550%2FarXiv.2501.09430&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai%3AHAL%3Ahal-04892767v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2475-1421&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2475-1421&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2475-1421&client=summon |