\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} with Leftovers: A Mechanisation in Agda (Englisch)
- Neue Suche nach: Zalakain, Uma
- Weitere Informationen zu Zalakain, Uma:
- https://orcid.org/http://orcid.org/0000-0002-3268-9338
- Neue Suche nach: Dardha, Ornela
- Weitere Informationen zu Dardha, Ornela:
- https://orcid.org/http://orcid.org/0000-0001-9927-7875
- Neue Suche nach: Peters, Kirstin
- Weitere Informationen zu Peters, Kirstin:
- https://orcid.org/https://orcid.org/0000-0002-4281-0074
- Neue Suche nach: Willemse, Tim A. C.
- Weitere Informationen zu Willemse, Tim A. C.:
- https://orcid.org/https://orcid.org/0000-0003-3049-7962
- Neue Suche nach: Zalakain, Uma
- Weitere Informationen zu Zalakain, Uma:
- https://orcid.org/http://orcid.org/0000-0002-3268-9338
- Neue Suche nach: Dardha, Ornela
- Weitere Informationen zu Dardha, Ornela:
- https://orcid.org/http://orcid.org/0000-0001-9927-7875
In:
Formal Techniques for Distributed Objects, Components, and Systems
: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
;
Kapitel: 9
;
157-174
;
2021
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} with Leftovers: A Mechanisation in Agda
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Peters, Kirstin ( Herausgeber:in ) / Willemse, Tim A. C. ( Herausgeber:in ) / Zalakain, Uma ( Autor:in ) / Dardha, Ornela ( Autor:in )
-
Kongress:International Conference on Formal Techniques for Distributed Objects, Components, and Systems ; 2021 ; Valletta, Malta
-
Erschienen in:Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings ; Kapitel: 9 ; 157-174Lecture Notes in Computer Science ; 12719 ; 157-174Programming and Software Engineering ; 157-174
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:08.06.2021
-
Format / Umfang:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
On Bidirectional Runtime EnforcementAceto, Luca / Cassar, Ian / Francalanza, Adrian / Ingólfsdóttir, Anna et al. | 2021
- 2
-
A Multi-agent Model for Polarization Under Confirmation Bias in Social NetworksAlvim, Mário S. / Amorim, Bernardo / Knight, Sophia / Quintero, Santiago / Valencia, Frank et al. | 2021
- 3
-
A Formalisation of SysML State Machines in mCRL2Bouwman, Mark / Luttik, Bas / van der Wal, Djurre et al. | 2021
- 4
-
How Adaptive and Reliable is Your Program?Castiglioni, Valentina / Loreti, Michele / Tini, Simone et al. | 2021
- 5
-
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent MovesGorrieri, Roberto et al. | 2021
- 6
-
Prioritise the Best VariationKokke, Wen / Dardha, Ornela et al. | 2021
- 7
-
Towards Multi-layered Temporal Models:Montin, Mathieu / Pantel, Marc et al. | 2021
- 8
-
A Case Study on Parametric Verification of Failure DetectorsTran, Thanh-Hai / Konnov, Igor / Widder, Josef et al. | 2021
- 9
-
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} with Leftovers: A Mechanisation in AgdaZalakain, Uma / Dardha, Ornela et al. | 2021
- 10
-
Supervisory Synthesis of Configurable Behavioural Contracts with ModalitiesBasile, Davide / ter Beek, Maurice H. / Degano, Pierpaolo / Legay, Axel / Ferrari, Gian-Luigi / Gnesi, Stefania / Di Giandomenico, Felicita et al. | 2021
- 11
-
Off-the-Shelf Automated Analysis of Liveness Properties for Just PathsBouwman, Mark / Luttik, Bas / Willemse, Tim et al. | 2021
- 12
-
Towards a Spatial Model Checker on GPUBussi, Laura / Ciancia, Vincenzo / Gadducci, Fabio et al. | 2021
- 13
-
Formal Verification of HotStuffJehl, Leander et al. | 2021
- 14
-
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
- 15
-
Tutorial: Designing Distributed Software in mCRL2Groote, Jan Friso / Keiren, Jeroen J. A. et al. | 2021