Publicações

Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with Tla+

AuthID
P-00T-1QA

Author(s)

Zeller, P

Bieniusa, A

Ferreira, C

Editor(es)

Bieniusa,A;Fordos,V

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

in Erlang 2020 - Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2020

Páginas: 14-23

Conference

19Th Acm Sigplan International Workshop on Erlang, Erlang 2020, Co-Located with the Annual International Conference on Functional Programming, Icfp 2020, Date: 23 August 2020, Patrocinadores: ACM SIGPLAN

Indexing

Scopus^®

Crossref^®1

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/3406085.3409009

SCOPUS: 2-s2.0-85096125213

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with Tla+

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with Tla+

Links Úteis

Ajuda