Volume 433; Issue none

Theoretical Computer Science

Volume 433; Issue none
1

Alpha equivalence equalities

Roy L. Crole
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 303 KB
english, 2012
2

Refactoring and representation independence for class hierarchies

David A. Naumann, Augusto Sampaio, Leila Silva
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 499 KB
english, 2012
3

An axiomatic approach to structuring specifications

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

Value-passing CCS with noisy channels

Shuqin Huang, Yongzhi Cao, Hanpin Wang, Wanling Qu
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 375 KB
english, 2012
5

Editorial Board

Journal:
Theoretical Computer Science
Year:
2012
File:
PDF, 58 KB
2012