Volume 410; Issue 42

Theoretical Computer Science

Volume 410; Issue 42
1

Deciding branching time properties for asynchronous programs

Rohit Chadha, Mahesh Viswanathan
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 780 KB
english, 2009
2

Efficient model checking for LTL with partial order snapshots

Peter Niebert, Doron Peled
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 631 KB
english, 2009
3

Pedagogical second-order -calculus

Loïc Colson, David Michel
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 805 KB
english, 2009
4

Meet continuity properties of posets

Xuxin Mao, Luoshan Xu
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 497 KB
english, 2009
5

On-the-fly model checking for time Petri nets

Rachid Hadjidj, Hanifa Boucheneb
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.74 MB
english, 2009
6

Robustness of temporal logic specifications for continuous-time signals

Georgios E. Fainekos, George J. Pappas
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.94 MB
english, 2009
7

A direct proof of the confluence of combinatory strong reduction

René David
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 734 KB
english, 2009
8

Frame rule for mutually recursive procedures manipulating pointers

Viorel Preoteasa
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 906 KB
english, 2009