Electronic Notes in Theoretical Computer Science, Volume 250
Volume 250, Number 1, September 2009
- Lyes Benalycherif, Anthony McIsaac: A Semantic Condition for Data Independence and Applications in Hardware Verification. 39-54
- Jeremy Dawson: Isabelle Theories for Machine Words. 55-70
- Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn: Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. 71-86
- Douglas Graham, Muffy Calder, Alice Miller: An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. 87-103
- Mohammad Izadi, Ali Movaghar: Compositional Failure-based Equivalence of Constraint Automata. 105-122
- Jan Jürjens: Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. 123-136
- Rahul Kumar, Eric G. Mercer, Annette Bunker: Improving Translation of Live Sequence Charts to Temporal Logic. 137-152
- Gavin Lowe: On CSP Refinement Tests That Run Multiple Copies of a Process. 153-170
Volume 250, Number 2, September 2009
- Alastair F. Donaldson: Vector Symmetry Reduction. 3-18
- Karim Kanso, Faron Moller, Anton Setzer: Automated Verification of Signalling Principles in Railway Interlocking Systems. 19-31
- Rahul Kumar, Eric G. Mercer: Verifying Communication Protocols Using Live Sequence Chart Specifications. 33-48
- Toby C. Murray, Gavin Lowe: On Refinement-Closed Security Properties and Nondeterministic Compositions. 49-68
- Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe: CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. 69-84
- Shamim Ripon, Michael J. Butler: PVS Embedding of cCSP Semantic Models and Their Relationship. 103-118
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team