A Process-Model for Linear Programs

DOI10.1007/978-3-642-02444-3_18MaRDI QIDQ3638259zbMATH OpenOpenAlexWikidataFDO

Authors Luca Paolini, Mauro Piccolo

Publication date 2 July 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-02444-3_18

Mathematics Subject Classification ID

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

Recommendations

• Linearity and PCF: a semantic insight!
• Computational interpretations of linear logic
• A concurrent model for linear logic
• On the reification of semantic linearity
• Concurrent programming as proof net construction

Cites work

• scientific article; zbMATH DE number 1722647 (Why is no real title available?)
• scientific article; zbMATH DE number 3909708 (Why is no real title available?)
• scientific article; zbMATH DE number 3976319 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A stable programming language
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Full abstraction for PCF
• Functions as processes
• LCF considered as a programming language
• On full abstraction for PCF: I, II and III
• On reduction-based process semantics
• Strong normalisation in the \(\pi\)-calculus
• The -calculus: A theory of mobile processes
• The parametric lambda calculus. A metamodel for computation.

Cited in

(10)

• scientific article; zbMATH DE number 4031396 (Why is no real title available?)
• Linearization in parallel pCRL
• A linear algebraic procedure for solving linear perfect foresight models
• Linearity and PCF: a semantic insight!
• scientific article; zbMATH DE number 810103 (Why is no real title available?)
• Linearization of CIF through SOS
• Programming Languages and Systems
• On the reification of semantic linearity
• scientific article; zbMATH DE number 3956810 (Why is no real title available?)
• scientific article; zbMATH DE number 1070382 (Why is no real title available?)

This page was built for publication: A Process-Model for Linear Programs

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