A type theory for robust failure handling in distributed systems (Q2827463)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6641193
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A type theory for robust failure handling in distributed systems |
scientific article; zbMATH DE number 6641193 |
Statements
A Type Theory for Robust Failure Handling in Distributed Systems (English)
0 references
19 October 2016
0 references
session types
0 references
partial failure handling
0 references
distributed systems
0 references
0.8297118544578552
0 references
0.71286541223526
0 references
0.7095603942871094
0 references
0.7051728367805481
0 references
