![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
16th EXPRESS 2009: Bologna, Italy
- Sibylle B. Fröschle, Daniele Gorla
:
Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009. EPTCS 8, 2009 - Luca Aceto, Anna Ingólfsdóttir, Joshua Sack
:
Characteristic Formulae for Fixed-Point Semantics: A General Framework. 1-15 - Tomás Babiak, Vojtech Rehák, Jan Strejcek
:
Almost Linear Büchi Automata. 16-25 - 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 - Maciej Gazda, Wan J. Fokkink
:
Modal Logic and the Approximation Induction Principle. 41-50 - Joshua D. Guttman:
Security Theorems via Model Theory. 51-65 - Katrin Iltgen, Walter Vogler:
Robustness of a bisimulation-type faster-than preorder. 66-79
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.