Volume 412; Issue 28

Theoretical Computer Science

Volume 412; Issue 28
2

On the ambiguation of Polish notation

Albert Visser
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 260 KB
english, 2011
3

On the axiomatizability of priority II

Luca Aceto, Taolue Chen, Anna Ingolfsdottir, Bas Luttik, Jaco van de Pol
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 264 KB
english, 2011
6

Unguardedness mostly means many solutions

Jos C.M. Baeten, Bas Luttik
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 261 KB
english, 2011
8

Verification of mobile ad hoc networks: An algebraic approach

Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 449 KB
english, 2011
9

Fixing Zeno gaps

Peter Höfner, Bernhard Möller
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 466 KB
english, 2011
10

The free process algebra generated by , and

Piet H. Rodenburg, Jan Willem Klop, Karst Koymans, Jos Vrancken
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 269 KB
english, 2011
12

Metrics for weighted transition systems: Axiomatization and complexity

Kim G. Larsen, Uli Fahrenberg, Claus Thrane
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 464 KB
english, 2011
13

Probabilities, distribution monads, and convex categories

Bart Jacobs
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 381 KB
english, 2011
14

Interface theories for concurrency and data

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 717 KB
english, 2011
15

On the algebra of structured specifications

Răzvan Diaconescu, Ionuţ Ţuţu
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 469 KB
english, 2011
16

On equal -terms

Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 878 KB
english, 2011
17

Continuity of operators on continuous and discrete time streams

J.V. Tucker, J.I. Zucker
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 413 KB
english, 2011
19

Editorial Board

Journal:
Theoretical Computer Science
Year:
2011
File:
PDF, 58 KB
2011
20

A calculus for four-valued sequential logic

Jan A. Bergstra, Jaco van de Pol
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 228 KB
english, 2011
21

On cool congruence formats for weak bisimulations

R.J. van Glabbeek
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 387 KB
english, 2011
22

Safe reasoning with Logic LTS

Gerald Lüttgen, Walter Vogler
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 714 KB
english, 2011
23

Lazy productivity via termination

Jörg Endrullis, Dimitri Hendriks
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 393 KB
english, 2011
24

Brouwer’s -fixed point and Sperner’s lemma

Dirk van Dalen
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 294 KB
english, 2011