Get 20M+ Full-Text Papers For Less Than $1.50/day. Subscribe now for You or Your Team.

Learn More →

Logic, Rewriting, and ConcurrencyDiscretionary Information Flow Control for Interaction-Oriented Specifications

Logic, Rewriting, and Concurrency: Discretionary Information Flow Control for... http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Logic, Rewriting, and ConcurrencyDiscretionary Information Flow Control for Interaction-Oriented Specifications

Logic, Rewriting, and ConcurrencyDiscretionary Information Flow Control for Interaction-Oriented Specifications

Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis
Unpaywall — Jan 1, 2015

Loading next page...
 
/lp/unpaywall/logic-rewriting-and-concurrency-discretionary-information-flow-control-WFFFBg640g

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

DOI
10.1007/978-3-319-23165-5_20
Publisher site
See Chapter on Publisher Site

Abstract

Published: Jan 1, 2015

There are no references for this article.