Resource-passing concurrent programming

DOI10.1007/3-540-45500-0_5MaRDI QIDQ5714436zbMATH OpenFDO

Authors Kazunori Ueda

Publication date 2 January 2006

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2215/22150095.htm

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

• Programming Languages and Systems
• scientific article; zbMATH DE number 5994824
• Uniqueness typing for resource management in message-passing concurrency
• Uniqueness typing for resource management in message-passing concurrency
• A close look at constraint-based concurrency

Cited in

(5)

• LMNtal as a hierarchical logic programming language
• Resource control for synchronous cooperative threads
• Encoding distributed process calculi into LMNtal
• A modality for safe resource sharing and code reentrancy
• Constraint-based concurrency and beyond

Describes a project that uses

Uses Software

• GHC

This page was built for publication: Resource-passing concurrent programming

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