scientific article; zbMATH DE number 1950451
From MaRDI portal
Publication:4413066
zbMath1037.68029MaRDI QIDQ4413066
Pierre Deransart, Jan-Georg Smaus
Publication date: 17 July 2003
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Typed context awareness ambient calculus for pervasive applications ⋮ \( \pi\) with leftovers: a mechanisation in Agda
This page was built for publication:
