scientific article; zbMATH DE number 1860622
From MaRDI portal
Publication:4790349
zbMath1048.68026MaRDI QIDQ4790349
Uwe Nestmann, Sébastien Briais
Publication date: 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
ASP\(_{\text{fun}}\) : a typed functional active object calculus ⋮ Formalising Java RMI with explicit code mobility ⋮ A Mechanized Model of the Theory of Objects
This page was built for publication:
