EPTCS 8 - EXPRESS 2009
Sibylle B. Fröschle, Daniele Gorla (Eds.): Proceedings 16th International Workshop on Expressiveness in Concurrency. 2009 EPTCS 8 [ contents ]- Luca Aceto, Anna Ingólfsdóttir, Joshua Sack: Characteristic Formulae for Fixed-Point Semantics: A General Framework. ... 1-15
- Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio: Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic. ... 26-40
- Joshua D. Guttman: Security Theorems via Model Theory. ... 51-65
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