π with Leftovers: A Mechanisation in Agda (English)
- New search for: Zalakain, Uma
- New search for: Dardha, Ornela
- New search for: Zalakain, Uma
- New search for: Dardha, Ornela
In:
Formal Techniques for Distributed Objects, Components, and Systems
; 157-176
;
2021
-
ISBN:
- Conference paper / Print
-
Title:π with Leftovers: A Mechanisation in Agda
-
Contributors:Zalakain, Uma ( author ) / Dardha, Ornela ( author )
-
Conference:DisCoTec ; 16. ; 2021 ; Online
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2021
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
On Bidirectional Runtime EnforcementAceto, Luca / Cassar, Ian / Francalanza, Adrian / Ingólfsdóttir, Anna et al. | 2021
- 22
-
A Multi-agent Model for Polarization Under Confirmation Bias in Social NetworksAlvim, Bias Mário S. / Amorim, Bernardo / Knight, Sophia / Quintero, Santiago / Valencia, Frank et al. | 2021
- 42
-
A Formalisation of SysML State Machines in mCRL2Bouwman, Mark / Luttik, Bas / Wal, Djurre van der et al. | 2021
- 60
-
How Adaptive and Reliable is Your Program?Castiglioni, Valentina / Loreti, Michele / Tini, Simone et al. | 2021
- 80
-
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent MovesGorrieri, Roberto et al. | 2021
- 100
-
Prioritise the Best VariationKokke, Wen / Dardha, Ornela et al. | 2021
- 120
-
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSLMontin, Mathieu / Pantel, Marc et al. | 2021
- 138
-
A Case Study on Parametric Verification of Failure DetectorsTran, Thanh-Hai / Konnov, Igor / Widder, Josef et al. | 2021
- 157
-
π with Leftovers: A Mechanisation in AgdaZalakain, Uma / Dardha, Ornela et al. | 2021
- 177
-
Supervisory Synthesis of Configurable Behavioural Contracts with ModalitiesBasile, Davide / Beek, Maurice H. ter / Degano, Pierpaolo / Ferrari, Axe Gian-Luigi / Gnesi, Stefania / Giandomenico, Felicita Di et al. | 2021
- 182
-
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)Bouwman, Mark / Luttik, Bas / Willemse, Tim et al. | 2021
- 188
-
Towards a Spatial Model Checker on GPUBussi, Laura / Ciancia, Vincenzo / Gadducci, Fabio et al. | 2021
- 197
-
Formal Verification of HotStuffJehl, Leander et al. | 2021
- 207
-
Better Late Than Never or: Verifying Asynchronous Components at RuntimeAttard, Duncan Paul / Aceto, Luca / Achilleos, Antonis / Francalanza, Adrian / Ingólfsdóttir, Anna / Lehtinen, Karoliina et al. | 2021
- 226
-
Tutorial: Designing Distributed Software in mCRL2Groote, Jan Friso / Keiren, Jeroen J. A. et al. | 2021