Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Mathematical Structures in Computer Science
Journal
Overview
Identifiers
View All
Overview
publication venue for
Non-termination and secure information flow
. 21:1183-1205.
2011
Coordination and mobility in CoreLime
. 14:397-419.
2004
Preface to the special issue on quantitative information flow
2015
Identifiers
International Standard Serial Number (ISSN)
0960-1295
Electronic International Standard Serial Number (EISSN)
1469-8072