Sciweavers

27354 search results - page 234 / 5471
» Distributed And Parallel Computing
Sort
View
CONCUR
2012
Springer
13 years 4 months ago
A Theory of History Dependent Abstractions for Learning Interface Automata
Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...
CONCUR
2009
Springer
15 years 9 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...