Volume 200; Issue 2

Information and Computation

Volume 200; Issue 2
1

Comparative branching-time semantics for Markov chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
Journal:
Information and Computation
Year:
2005
Language:
english
File:
PDF, 1.43 MB
english, 2005
2

Reductions between disjoint NP-Pairs

Christian Glaßer, Alan L. Selman, Samik Sengupta
Journal:
Information and Computation
Year:
2005
Language:
english
File:
PDF, 298 KB
english, 2005
3

Types and full abstraction for polyadic π-calculus

Paola Quaglia, David Walker
Journal:
Information and Computation
Year:
2005
Language:
english
File:
PDF, 376 KB
english, 2005
4

Editorial Board

Journal:
Information and Computation
Year:
2005
Language:
english
File:
PDF, 146 KB
english, 2005
5

Editorial Board

Journal:
Information and Computation
Year:
2005
Language:
english
File:
PDF, 26 KB
english, 2005
6

Volume Author Index

Journal:
Information and Computation
Year:
2005
File:
PDF, 43 KB
2005