Volume 379; Issue 1-2

Theoretical Computer Science

Volume 379; Issue 1-2
1

Operational semantics for Petri net components

Jan Friso Groote, Marc Voorhoeve
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 929 KB
english, 2007
4

The differential -calculus

Lionel Vaux
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 719 KB
english, 2007
5

Reasoning about probabilistic sequential programs

R. Chadha, L. Cruz-Filipe, P. Mateus, A. Sernadas
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 465 KB
english, 2007
6

Ultraproducts and possible worlds semantics in institutions

Răzvan Diaconescu, Petros Stefaneas
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 445 KB
english, 2007
7

Generalising automaticity to modal properties of finite structures

Anuj Dawar, Stephan Kreutzer
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 419 KB
english, 2007
8

Complexity results on branching-time pushdown model checking

Laura Bozzelli
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 330 KB
english, 2007
9

Losing recognizability

Sándor Vágvölgyi
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 228 KB
english, 2007
11

Editorial Board

Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 68 KB
english, 2007
12

From truth to computability II

Giorgi Japaridze
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 680 KB
english, 2007
13

Closure properties for the class of behavioral models

Manuel A. Martins
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 716 KB
english, 2007