Electronic Notes in Theoretical Computer Science, Volume 194

Volume 194, Number 1, November 2007

Proceedings of the Fifth Workshop on Security Issues in Concurrency (SecCo 2007)

Daniele Gorla, Catuscia Palamidessi:
Preface. 1-2
Electronic Edition (link) BibTeX
Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo:
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. 3-22
Electronic Edition (link) BibTeX
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen:
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. 23-38
Electronic Edition (link) BibTeX
Ilaria Castellani:
State-oriented Noninterference for CCS. 39-60
Electronic Edition (link) BibTeX
Srecko Brlek, Sardaouna Hamadou, John Mullins:
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols. 61-83
Electronic Edition (link) BibTeX

Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007)

Roberto M. Amadio, Thomas T. Hildebrandt:
Preface. 1
Electronic Edition (link) BibTeX
Johannes Borgström, Andrew D. Gordon, Andrew Phillips:
A Chart Semantics for the Pi-Calculus. 3-29
Electronic Edition (link) BibTeX
Mario Bravetti:
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. 31-57
Electronic Edition (link) BibTeX
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia:
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. 59-84
Electronic Edition (link) BibTeX
Bjørn Haagensen, Sergio Maffeis, Iain Phillips:
Matching Systems for Concurrent Calculi. 85-99
Electronic Edition (link) BibTeX