scientific article; zbMATH DE number 1759631

MaRDI QIDQ4536623zbMATH OpenFDO

Authors Naoki Kobayashi, Shin Saito, Eijiro Sumii

Publication date 25 June 2002

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A New Type System for Deadlock-Free Processes
• scientific article; zbMATH DE number 1231692
• Types for deadlock-free higher-order programs
• A type system for lock-free processes
• A new linear logic for deadlock-free session-typed processes

Cited in

(17)

• A generic type system for the pi-calculus
• A Hybrid Type System for Lock-Freedom of Mobile Processes
• Analysing input/output-capabilities of mobile processes with a generic type system
• Towards static deadlock resolution in the \(\pi\)-calculus
• A New Type System for Deadlock-Free Processes
• Types for deadlock-free higher-order programs
• A new type system for JVM lock primitives
• An algebra of behavioural types
• A new linear logic for deadlock-free session-typed processes
• A type system for lock-free processes
• Deadlock checking by a behavioral effect system for lock handling
• A generic type system for the \(\pi\)-calculus
• Type-Based Complexity Analysis for Fork Processes
• Type-based information flow analysis for the \(\pi\)-calculus
• An interpretation of CCS into ludics
• Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
• Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.

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 Q4536623)