Comparing Deadlock-Free Session Typed Processes

@inproceedings{Dardha2015ComparingDS,
  title={Comparing Deadlock-Free Session Typed Processes},
  author={Ornela Dardha and J. P{\'e}rez},
  booktitle={EXPRESS/SOS},
  year={2015}
}
Besides respecting prescribed protocols, communication-centric systems should never "get stuck". This requirement has been expressed by liveness properties such as progress or (dead)lock freedom. Several typing disciplines that ensure these properties for mobile processes have been proposed. Unfortunately, very little is known about the precise relationship between these disciplines--and the classes of typed processes they induce. In this paper, we compare L and K, two classes of deadlock-free… Expand
14 Citations
Comparing Type Systems for Deadlock-Freedom
  • PDF
A New Linear Logic for Deadlock-Free Session-Typed Processes
  • 19
  • PDF
Manifest Deadlock-Freedom for Shared Session Types
  • 27
  • PDF
Type Systems for Distributed Programs: Session Communication
  • PDF
Interconnectability of Session-Based Logical Processes
  • 4
  • Highly Influenced
  • PDF
Conflation Confers Concurrency
  • 17
  • PDF
The Challenge of Typed Expressiveness in Concurrency
  • 1
  • PDF
Type Systems for Distributed Programs: Components and Sessions
  • 10
  • PDF
Type-Based Analysis of Linear Communications
  • 3
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 25 REFERENCES
On Progress for Structured Communications
  • 65
  • PDF
Corecursion and Non-divergence in Session-Typed Processes
  • 26
Linear logic propositions as session types
  • 84
  • Highly Influential
  • PDF
Fundamentals of session types
  • 88
  • PDF
Progress as Compositional Lock-Freedom
  • 24
  • PDF
A New Type System for Deadlock-Free Processes
  • 149
  • Highly Influential
  • PDF
Session types revisited
  • 111
  • PDF
Recursive Session Types Revisited
  • 21
  • PDF
A Type System for Lock-Free Processes
  • 98
  • PDF
From Lock Freedom to Progress Using Session Types
  • 27
  • PDF
...
1
2
3
...