scientific article; zbMATH DE number 1735626

MaRDI QIDQ4329009zbMATH OpenFDO

Authors Franz Puntigam, Christof Peter

Publication date 29 April 2002

zbMATH Keywords

subtypingdeadlocksprocess types

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Types for deadlock-free higher-order programs
• scientific article; zbMATH DE number 1231692
• Strong types for coordinating active objects
• A New Type System for Deadlock-Free Processes
• scientific article; zbMATH DE number 1760051

Cited in

(4)

• Strong types for coordinating active objects
• scientific article; zbMATH DE number 1418457 (Why is no real title available?)
• An algebra of behavioural types
• Types for progress in actor programs

This page was built for publication:

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