scientific article; zbMATH DE number 1735626

zbMATH Open0997.68085MaRDI QIDQ4329009FDOQ4329009

Authors: Franz Puntigam, Christof Peter 

Publication date: 29 April 2002

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Strong types for coordinating active objects
• Title not available (Why is that?)
• 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)