Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 373; Issue 1-2

Theoretical Computer Science

Volume 373; Issue 1-2
1

Space-aware ambients and processes

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 549 KB
english, 2007
2

Axiomatizations for probabilistic finite-state behaviors

Yuxin Deng, Catuscia Palamidessi
Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 541 KB
english, 2007
3

Compact and tractable automaton-based representations of time granularities

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 788 KB
english, 2007
4

Towards “dynamic domains”: Totally continuous cocomplete -categories

Isar Stubbe
Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 445 KB
english, 2007
5

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 68 KB
english, 2007
7

Conjunction on processes: Full abstraction via ready-tree semantics

Gerald Lüttgen, Walter Vogler
Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 895 KB
english, 2007