Volume 343; Issue 3

Theoretical Computer Science

Volume 343; Issue 3
1

Preface

Frank de Boer, Marcello Bonsangue
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 117 KB
english, 2005
2

Polarized process algebra with reactive composition

J.A. Bergstra, I. Bethke
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 151 KB
english, 2005
3

Behavioural specification for hierarchical object composition

Răzvan Diaconescu
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 231 KB
english, 2005
4

Parameterised boolean equation systems

Jan Friso Groote, Tim A.C. Willemse
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 292 KB
english, 2005
5

Semantic essence of AsmL

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 341 KB
english, 2005
6

A proof outline logic for object-oriented programming

Cees Pierik, Frank S. de Boer
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 225 KB
english, 2005
7

A tutorial on coinductive stream calculus and signal flow graphs

J.J.M.M. Rutten
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 476 KB
english, 2005
8

Slicing techniques for verification re-use

Heike Wehrheim
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 257 KB
english, 2005
9

Formal specification and verification of the C thread model

Robert F. Stärk
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 272 KB
english, 2005
10

Author index

Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 179 KB
english, 2005