长垣产业园区科技文献服务平台

会议文集


文集名Coordination Models and Languages
会议名26th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2024), Held as Part of the 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024)
中译名《第二十六届IFIP WG 6.1国际协调模型与语言会议》
机构International Federation for Information Processing (IFIP)
会议日期June 17-21, 2024
会议地点Groningen, The Netherlands
出版年2024
馆藏号352839


题名作者出版年
Choreographic Automata: A Case Study in Healthcare ManagementSourabh Pal; Ivan Lanese; Massimo Clo2024
A Probabilistic Choreography Language for PRISMMarco Carbone; Adele Veschetti2024
Encoding Petri Nets into CCSBenjamin Bogo; Andrea Burattin; Alceste Scalas2024
Field-Based Coordination for Federated LearningDavide Domini; Gianluca Aguzzi; Lukas Esterle; Mirko Viroli2024
COTS: Connected OpenAPI Test Synthesis for RESTful ApplicationsChristian Bartolo Burlo; Adrian Francalanza; Alceste Scalas; Emilio Tuosto2024
Modelling, Verifying and Testing the Contract Automata Runtime Environment with UppaalDavide Basile2024
Simulation-Based Decision Support for Cross-Organisational Workflows A Case Study of Emergency HandlingMuhammad Rizwan Ali; Yngve Lamo; Violet Ka I Pun2024
An Enhanced Exchange Operator for XCGiorgio Audrito; Daniele Bortoluzzi; Ferruccio Damiani; Giordano Scarso; Gianluca Torta2024
The Concurrent Calculi Formalisation BenchmarkMarco Carbone; David Castro-Perez; Francisco Ferreira; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon2024
Team Automata: Overview and RoadmapMaurice H. ter Beek; Rolf Hennicker; Jose Proenca2024
An OpenWhisk Extension for Topology-Aware Allocation Priority PoliciesGiuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro2024
Coconut: Typestates for Embedded SystemsArwa Hameed Alsubhi; Ornela Dardha2024
TRAC: A Tool for Data-Aware Coordination: with an Application to Smart ContractsJoao Afonso; Elvis Konjoh Selabi; Maurizio Murgia; Antonio Ravara; Emilio Tuosto2024
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm DesignGianluca Aguzzi; Roberto Casadei; Matteo Cerioni; Mirko Viroli2024
Visualisation of Collective Systems with Sequit and SibillaNicola Del Giudice; Federico Maria Cruciani; Michele Loreti2024
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)Adrian Francalanza; Gerard Tabone; Frank Pfenning2024
SEArch: An Execution Infrastructure for Service-Based Software SystemsCarlos Gustavo Lopez Pombo; Pablo Montepagano; Emilio Tuosto2024



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024