#THESSA INFINITE PROGRESS ZIP SOFTWARE#
In Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Stefan Kiefer and Christine Tasson (Eds.) (Lecture Notes in Computer Science, Vol. Fair Refinement for Asynchronous Session Types. Mario Bravetti, Julien Lange, and Gianluigi Zavattaro.Using higher-order contracts to model session types. Giovanni Bernardi and Matthew Hennessy.In Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Luís Caires (Ed.) (Lecture Notes in Computer Science, Vol. Manifest Deadlock-Freedom for Shared Session Types. Stephanie Balzer, Bernardo Toninho, and Frank Pfenning.Least and Greatest Fixed Points in Linear Logic.
In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. Appraising Fairness in Languages for Distributed Programming. In Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Hongseok Yang (Ed.) (Lecture Notes in Computer Science, Vol. Generalizing Inference Systems by Coaxioms. Davide Ancona, Francesco Dagnino, and Elena Zucca.In Handbook of Mathematical Logic, Jon Barwise (Ed.) (Studies in Logic and the Foundations of Mathematics, Vol. An Introduction to Inductive Definitions. Fair subtyping is surprisingly subtle not only to characterize concisely but also to use appropriately, to the point that the type system must carefully account for all usages of fair subtyping to avoid compromising its liveness-preserving properties. Our type system is also the first to adopt fair subtyping, a liveness-preserving refinement of the standard subtyping relation for session types that so far has only been studied theoretically. This form of lock freedom allows us to address a large family of natural communication patterns that fall outside the scope of existing type systems.
Fair termination entails the eventual completion of all pending input/output actions, including those that depend on the completion of an unbounded number of other actions in possibly different sessions. A session fairly terminates if all of the infinite executions admitted by its protocol are deemed unrealistic because they violate certain fairness assumptions. In this work, we study the first type system that ensures the fair termination of binary sessions. A binary session is a private communication channel that connects two processes, each adhering to a protocol description called session type.