Publications

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

AuthID
P-00T-1QA

Author(s)

Zeller, P

Bieniusa, A

Ferreira, C

Editor(s)

Bieniusa,A;Fordos,V

Document Type

Proceedings Paper

Year published

2020

Published

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

Pages: 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, Sponsors: ACM SIGPLAN

Indexing

Scopus^®

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/3406085.3409009

Scopus: 2-s2.0-85096125213

Export Publication Metadata

Marked List

Add to Marked List

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+

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help