Fault-tolerant multiparty session types (Q2165214): Difference between revisions

← Older edit

@@ Property / title @@
+FTMPST: Fault-Tolerant Multiparty Session Types (English)
+Normal rank
@@ Property / DOI @@
+.46298/lmcs-19(4:14)2023
@@ Property / DOI: 10.46298/lmcs-19(4:14)2023 / rank @@
+Normal rank
@@ Property / publication date @@
+January 2024Timestamp +2024-01-16T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2024-01-16T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 16 January 2024 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-XX
@@ Property / Mathematics Subject Classification ID: 68-XX / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7788986
@@ Property / zbMATH DE Number: 7788986 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07728
@@ Property / arXiv ID: 2204.07728 / rank @@
+Normal rank
@@ Property / published in @@
+Logical Methods in Computer Science
@@ Property / published in: Logical Methods in Computer Science / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multiparty session types
@@ Property / zbMATH Keywords: multiparty session types / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fault-tolerance
@@ Property / zbMATH Keywords: fault-tolerance / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+link and crash failures
@@ Property / zbMATH Keywords: link and crash failures / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types for Link Failures
@@ Property / cites work: Session Types for Link Failures / rank @@
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+A Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+Conversation types
@@ Property / cites work: Conversation types / rank @@
+Normal rank
@@ Property / cites work @@
+Global escape in multiparty sessions
@@ Property / cites work: Global escape in multiparty sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Interactional Exceptions in Session Types
+Normal rank
@@ Property / cites work @@
+Concurrent Reversible Sessions
@@ Property / cites work: Concurrent Reversible Sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Global types with internal delegation
@@ Property / cites work: Global types with internal delegation / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+The Heard-Of model: computing in distributed systems with benign faults
+Normal rank
@@ Property / cites work @@
+A Type Theory for Robust Failure Handling in Distributed Systems
+Normal rank
@@ Property / cites work @@
+A Gentle Introduction to Multiparty Asynchronous Session Types
+Normal rank
@@ Property / cites work @@
+Nested Protocols in Session Types
@@ Property / cites work: Nested Protocols in Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
+Normal rank
@@ Property / cites work @@
+A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Distributed consensus, revisited
@@ Property / cites work: Distributed consensus, revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Taming concurrency for verification using multiparty session types
+Normal rank
@@ Property / cites work @@
+Q3619880
@@ Property / cites work: Q3619880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325545
@@ Property / cites work: Q4325545 / rank @@
+Normal rank
@@ Property / cites work @@
+A typing discipline for statically verified crash failure handling in distributed systems
+Normal rank
@@ Property / cites work @@
+Q4995154
@@ Property / cites work: Q4995154 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Multiparty Session Types
@@ Property / cites work: Parameterised Multiparty Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Fault-tolerant multiparty session types
@@ Property / cites work: Fault-tolerant multiparty session types / rank @@
+Normal rank