books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 402; Issue 2-3
Main
Theoretical Computer Science
Volume 402; Issue 2-3
Theoretical Computer Science
Volume 402; Issue 2-3
1
Preface
Ugo Montanari
,
Donald Sannella
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 142 KB
Your tags:
english, 2008
2
Cryptographically-masked flows
Aslan Askarov
,
Daniel Hedin
,
Andrei Sabelfeld
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.57 MB
Your tags:
english, 2008
3
Parametric synchronizations in mobile nominal calculi
Roberto Bruni
,
Ivan Lanese
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 627 KB
Your tags:
english, 2008
4
Spatial-behavioral types for concurrency and resource control in distributed systems
Luís Caires
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.96 MB
Your tags:
english, 2008
5
Scheduling to maximize participation
Ioannis Caragiannis
,
Christos Kaklamanis
,
Panagiotis Kanellopoulos
,
Evi Papaioannou
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 641 KB
Your tags:
english, 2008
6
Memoryless search algorithms in a network with faulty advice
Nicolas Hanusse
,
Dimitris Kavvadias
,
Evangelos Kranakis
,
Danny Krizanc
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 394 KB
Your tags:
english, 2008
7
Using bisimulation proof techniques for the analysis of distributed abstract machines
Damien Pous
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.22 MB
Your tags:
english, 2008
8
On the limits of cache-oblivious rational permutations
Francesco Silvestri
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 447 KB
Your tags:
english, 2008
9
A timed semantics of Orc
Ian Wehrman
,
David Kitchin
,
William R. Cook
,
Jayadev Misra
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 665 KB
Your tags:
english, 2008
10
Security types for dynamic web data
Mariangiola Dezani-Ciancaglini
,
Silvia Ghilezan
,
Jovanka Pantović
,
Daniele Varacca
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 462 KB
Your tags:
english, 2008
11
Integration of a security type system into a program logic
Reiner Hähnle
,
Jing Pan
,
Philipp Rümmer
,
Dennis Walter
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 518 KB
Your tags:
english, 2008
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×