Sciweavers

36 search results - page 1 / 8
» concur 2009
Sort
View
107
Voted
CONCUR
2009
Springer
16 years 12 days ago
Secure Enforcement for Global Process Specifications
Jérémy Planul, Ricardo Corin, C&eacu...
CONCUR
2009
Springer
16 years 12 days ago
Modeling Radio Networks
Calvin C. Newport, Nancy A. Lynch
116
Voted
CONCUR
2009
Springer
16 years 12 days ago
Power of Randomization in Automata on Infinite Strings
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
CONCUR
2009
Springer
16 years 12 days ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...