scientific article; zbMATH DE number 1231692

zbMath0917.68065MaRDI QIDQ4223021

Eijiro Sumii, Naoki Kobayashi

Publication date: 10 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=3#16.3.006

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

zbMATH Keywords

concurrent programmingdeadlock

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

A generic type system for the pi-calculus, The name discipline of uniform receptiveness, A specification structure for deadlock-freedom of synchronous processes, A new type system for JVM lock primitives, Type-based information flow analysis for the \(\pi\)-calculus