Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Secure Information Flow as Typed Process Behaviour
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Technical Reports: up to 1999
Secure Information Flow as Typed Process Behaviour
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Technical Reports: up to 1999
Secure Information Flow as Typed Process Behaviour
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Secure Information Flow as Typed Process Behaviour
View/
Open
767_Honda_Vasconcelos&Yoshida_12-1999.pdf (3.190Mb)
Series
Department of Computer Science Technical Report;767 - December 1999
ISSN
1369-1961
Metadata
Show full item record
Authors
Honda, Kohei; Vasconcelos, Vasco; Yoshida, Nobuko
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/4502
Collections
Department of Computer Science Technical Reports: up to 1999
[86]