ask others

Theoretical Computer Science, Volume 455

> Home > Journals > Theoretical Computer Science

Volume 455, October 2012

Preface

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CavalcantiD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CavalcantiD12
Ana Cavalcanti, David Déharbe:
Special issue: International Colloquium on Theoretical Aspects of Computing - ICTAC 2010. 1

Contributions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BorbaTG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BorbaTG12
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi:
A theory of software product line refinement. 2-30
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/ChenLW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/ChenLW12
Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-divergence semantics and refinement of long running transactions. 31-65
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AiguierBK12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AiguierBK12
Marc Aiguier, Frédéric Boulanger, Bilal Kanso:
A formal abstract framework for modelling and testing complex software systems. 66-97
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CastroM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CastroM12
Pablo F. Castro, T. S. E. Maibaum:
Encapsulating deontic and branching time specifications. 98-122

maintained by

, founded at