Sciweavers

17582 search results - page 239 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
CONCUR
2009
Springer
16 years 1 months ago
Power of Randomization in Automata on Infinite Strings
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
CONCUR
2009
Springer
16 years 1 months ago
Modeling Radio Networks
Calvin C. Newport, Nancy A. Lynch
CONCUR
2009
Springer
16 years 1 months ago
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
Richard H. G. Garner, Tom Hirschowitz, Auré...