scientific article; zbMATH DE number 1231615

zbMath0925.68293MaRDI QIDQ4222938

Hanne Riis Nielson, Flemming Nielson

Publication date: 6 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=10#10013

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

An algebra of behavioural types ⋮ Pathway analysis for BioAmbients ⋮ Probabilistic Semantics and Program Analysis ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ Refined typing to localize the impact of forced strictness on free theorems ⋮ Cryptographic Analysis in Cubic Time ⋮ Information flow for Algol-like languages

This page was built for publication: