长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

会议文集

文集名	Formal Techniques for Distributed Objects, Components, and Systems
会议名	41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Held as Part of the 16th International Federated Conference on Distributed Computing Techniques (DisCoTec 2021)
中译名	《第四十一届IFIP WG 6.1国际分布式对象、组件与系统形式化技术会议》
机构	International Federation for Information Processing (IFIP)
会议日期	June 14-18, 2021
会议地点	Valletta, Malta
出版年	2021
馆藏号	339169

题名	作者	出版年
On Bidirectional Runtime Enforcement	Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingolfsdottir	2021
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks	Mario S. Alvim; Bernardo Amorim; Sophia Knight; Santiago Quintero; Frank Valencia	2021
A Formalisation of SysML State Machines in mCRL2	Mark Bouwman; Bas Luttik; Djurre van der Wal	2021
How Adaptive and Reliable is Your Program?	Valentina Castiglioni; Michele Loreti; Simone Tini	2021
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves	Roberto Gorrieri	2021
Prioritise the Best Variation	Wen Kokke; Ornela Dardha	2021
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL	Mathieu Montin; Marc Pantel	2021
A Case Study on Parametric Verification of Failure Detectors	Thanh-Hal Tran; Igor Konnov; Josef Widder	2021
π with Leftovers: A Mechanisation in Agda	Uma Zalakain; Ornela Dardha	2021
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities	Davide Basile; Maurice H. ter Beek; Pierpaolo Degano; Axel Legay; Gian-Luigi Ferrari; Stefania Gnesi; Felicita Di Giandomenico	2021
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths	Mark Bouwman; Bas Luttik; Tim Willemse	2021
Towards a Spatial Model Checker on GPU	Laura Bussi; Vincenzo Ciancia; Fabio Gadducci	2021
Formal Verification of HotStuff	Leander Jehl	2021
Better Late Than Never or: Verifying Asynchronous Components at Runtime	Duncan Paul Attard; Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingolfsdottir; Karoliina Lehtinen	2021
Tutorial: Designing Distributed Software in mCRL2	Jan Friso Groote; Jeroen J. A. Keiren	2021