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 204; Issue 4
Main
Information and Computation
Volume 204; Issue 4
Information and Computation
Volume 204; Issue 4
1
Bisimulation and cocongruence for probabilistic systems
Vincent Danos
,
Josée Desharnais
,
François Laviolette
,
Prakash Panangaden
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 315 KB
Your tags:
english, 2006
2
Distributive laws for the coinductive solution of recursive equations
Bart Jacobs
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 288 KB
Your tags:
english, 2006
3
A modular approach to defining and characterising notions of simulation
Corina Cîrstea
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 332 KB
Your tags:
english, 2006
4
Final coalgebras for functors on measurable spaces
Lawrence S. Moss
,
Ignacio D. Viglizzo
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 407 KB
Your tags:
english, 2006
5
Automata and fixed point logic: A coalgebraic perspective
Yde Venema
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 433 KB
Your tags:
english, 2006
6
Comparing operational models of name-passing process calculi
Marcelo Fiore
,
Sam Staton
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 737 KB
Your tags:
english, 2006
7
Recursive coalgebras from comonads
Venanzio Capretta
,
Tarmo Uustalu
,
Varmo Vene
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 408 KB
Your tags:
english, 2006
8
Coalgebraic semantics for timed processes
Marco Kick
,
John Power
,
Alex Simpson
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 204 KB
Your tags:
english, 2006
9
Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004
Jiří Adámek
,
Stefan Milius
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 59 KB
Your tags:
english, 2006
10
Editorial Board
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 216 KB
Your tags:
english, 2006
11
Editorial Board
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 114 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
×
×