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
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 358; Issue 2-3
Main
Theoretical Computer Science
Volume 358; Issue 2-3
Theoretical Computer Science
Volume 358; Issue 2-3
1
Editorial
Philippa Gardner
,
Nobuko Yoshida
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 95 KB
Your tags:
english, 2006
2
Message-passing automata are expressively equivalent to EMSO logic
Benedikt Bollig
,
Martin Leucker
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 401 KB
Your tags:
english, 2006
3
Probabilistic event structures and domains
Daniele Varacca
,
Hagen Völzer
,
Glynn Winskel
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 359 KB
Your tags:
english, 2006
4
Asynchronous games 2: The true concurrency of innocence
Paul-André Melliès
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 428 KB
Your tags:
english, 2006
5
Characterizing EF and EX tree logics
Mikolaj Bojańczyk
,
Igor Walukiewicz
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 282 KB
Your tags:
english, 2006
6
Model checking restricted sets of timed paths
Nicolas Markey
,
Jean-François Raskin
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 429 KB
Your tags:
english, 2006
7
Elimination of quantifiers and undecidability in spatial logics for concurrency
Luís Caires
,
Etienne Lozes
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 395 KB
Your tags:
english, 2006
8
Author index
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 117 KB
Your tags:
english, 2006
9
Resource control for synchronous cooperative threads
Roberto M. Amadio
,
Silvano Dal Zilio
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 365 KB
Your tags:
english, 2006
10
A general approach to comparing infinite-state systems with their finite-state specifications
Antonín Kučera
,
Philippe Schnoebelen
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 348 KB
Your tags:
english, 2006
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
×
×