An investigation into functions as processes

DOI10.1007/3-540-58027-1_7MaRDI QIDQ5890045zbMATH OpenOpenAlexFDO

Authors Davide Sangiorgi

Publication date 28 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58027-1_7

zbMATH Keywords

equivalence classoperational correspondenceoperational semanticprocess termsemantic domain

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 177812
• Trees from functions as processes
• Functions as processes
• Evaluating functions as processes
• Eager functions as processes

Cites work

• A calculus of mobile processes. II
• Barbed bisimulation
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Fully abstract models of typed \(\lambda\)-calculi
• Functions as processes
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• Lambda‐Calculus Models and Extensionality
• LCF considered as a programming language
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(14)

• The lazy lambda calculus in a concurrency scenario
• Decoding choice encodings
• Eager functions as processes
• A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types
• Comparing process calculi using encodings
• Functions as processes
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• Trees from functions as processes
• Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines
• Topological models for higher order control flow
• Fully abstract encodings of -calculus in HOcore through abstract machines
• Extensional and non-extensional functions as processes
• Functional array programming in an extended pi-calculus
• Subfunctionalization: How often does it occur? How long does it take?

This page was built for publication: An investigation into functions as processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5890045)