Sciweavers

36 search results - page 1 / 8
» concur 2009
Sort
View
CONCUR
2009
Springer
15 years 4 months ago
Secure Enforcement for Global Process Specifications
Jérémy Planul, Ricardo Corin, C&eacu...
CONCUR
2009
Springer
15 years 4 months ago
Modeling Radio Networks
Calvin C. Newport, Nancy A. Lynch
CONCUR
2009
Springer
15 years 4 months ago
Power of Randomization in Automata on Infinite Strings
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
CONCUR
2009
Springer
15 years 4 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
80
Voted
CONCUR
2009
Springer
15 years 4 months ago
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
Richard H. G. Garner, Tom Hirschowitz, Auré...