Work Analysis with Resource-Aware Session Types

DOI10.1145/3209108.3209146zbMath1497.68111arXiv1712.08310OpenAlexW2963595697MaRDI QIDQ5145303

Ankush Das, Jan Hoffmann, Frank Pfenning

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1712.08310

zbMATH Keywords

type systemssession typesresource analysis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

ElixirST: a session-based type system for elixir modules ⋮ Analysing parallel complexity of term rewriting ⋮ Unnamed Item ⋮ Types for complexity of parallel computation in pi-calculus ⋮ Nested session types ⋮ Session Types with Arithmetic Refinements ⋮ A calculus for modeling floating authorizations ⋮ Two decades of automatic amortized resource analysis

This page was built for publication: Work Analysis with Resource-Aware Session Types