scientific article; zbMATH DE number 1759631

zbMath0999.68532MaRDI QIDQ4536623

Naoki Kobayashi, Eijiro Sumii, Shin Saito

Publication date: 25 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (8)

A generic type system for the pi-calculus ⋮ An algebra of behavioural types ⋮ Deadlock checking by a behavioral effect system for lock handling ⋮ A new type system for JVM lock primitives ⋮ Analysing input/output-capabilities of mobile processes with a generic type system ⋮ A type system for lock-free processes ⋮ An interpretation of CCS into ludics ⋮ Type-based information flow analysis for the \(\pi\)-calculus

This page was built for publication: