- Viktor Vafeiadis, Matthew J. Parkinson:
A Marriage of Rely/Guarantee and Separation Logic. CONCUR 2007: 256-271 - Cristian Versari, Nadia Busi, Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 - Bow-Yaw Wang:
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. CONCUR 2007: 303-316 - Luís Caires, Vasco Thudichum Vasconcelos:
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703, Springer 2007, ISBN 978-3-540-74406-1 [contents]
