Static Analysis of Processes for No Read-Up and No Write-Down

C. Bodei, P. Degano, F. Nielson, H. Riis Nielson

TypeConference paper [With referee]
ConferenceProc. FOSSACS'99
Year1999    No. 1578    pp. 120-134
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering