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

(18)

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

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)