scientific article; zbMATH DE number 1754606
From MaRDI portal
Publication:4535032
zbMath0986.68012MaRDI QIDQ4535032
Gérard Boudol, Ilaria Castellani
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760382
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Securing interaction between threads and the scheduler in the presence of synchronization ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ From Exponential to Polynomial-Time Security Typing via Principal Types ⋮ Typing noninterference for reactive programs ⋮ Noninterference for concurrent programs and thread systems
This page was built for publication:
