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 195; Issue 2
Main
Theoretical Computer Science
Volume 195; Issue 2
Theoretical Computer Science
Volume 195; Issue 2
1
Decidability of bisimulation equivalence for normed pushdown processes
Colin Stirling
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.32 MB
Your tags:
english, 1998
2
The modal mu-calculus alternation hierarchy is strict
J.C. Bradfield
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.48 MB
Your tags:
english, 1998
3
Process calculus based upon evaluation to committed form
Andrew M. Pitts
,
Joshua R.X. Ross
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.76 MB
Your tags:
english, 1998
4
An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages
Doron Peled
,
Thomas Wilke
,
Pierre Wolper
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.47 MB
Your tags:
english, 1998
5
On the expressiveness of internal mobility in name-passing calculi
Michele Boreale
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.47 MB
Your tags:
english, 1998
6
A process algebra with distributed priorities
Ranee Cleaveland
,
Gerald Lüttgen
,
V. Natarajan
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 2.28 MB
Your tags:
english, 1998
7
On transformations of concurrent-object programs
Anna Philippou
,
David Walker
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 2.14 MB
Your tags:
english, 1998
8
On bisimulations for the asynchronous π-calculus
Roberto M. Amadio
,
Ilaria Castellani
,
Davide Sangiorgi
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 2.20 MB
Your tags:
english, 1998
9
Preface
Ugo Montanari
,
Vladimiro Sassone
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 66 KB
Your tags:
english, 1998
10
Author index volume 195 (1998)
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 49 KB
Your tags:
english, 1998
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
×
×