Treffer: A JMM-Faithful Non-interference Calculus for Java
Title:
A JMM-Faithful Non-interference Calculus for Java
Authors:
Source:
Lecture Notes in Computer Science ; Scientific Engineering of Distributed Java Applications ; page 101-111 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540250531 9783540318699
Publisher Information:
Springer Berlin Heidelberg
Publication Year:
2005
Document Type:
Buch
book part
Language:
English
ISBN:
978-3-540-25053-1
978-3-540-31869-9
3-540-25053-0
3-540-31869-0
978-3-540-31869-9
3-540-25053-0
3-540-31869-0
DOI:
10.1007/978-3-540-31869-9_10
Availability:
Rights:
Accession Number:
edsbas.1E993E9E
Database:
BASE