default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 365

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 365, Numbers 1-2, November 2006

Formal Methods for Components and Objects, Formal Methods for Components and Objects

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BoerB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BoerB06
Frank S. de Boer, Marcello M. Bonsangue:
Preface. 1

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BarbosaO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BarbosaO06
Luís Soares Barbosa, José Nuno Oliveira:
Transposing partial components - An exercise on coalgebraic refinement. 2-22
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JohnsenOY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JohnsenOY06
Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems. 23-66
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChatterjeeHJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChatterjeeHJ06
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with secure equilibria. 67-82
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CheungLSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CheungLSV06
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Switched PIOA: Parallel composition via distributed scheduling. 83-108
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HeLL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HeLL06
Jifeng He, Xiaoshan Li, Zhiming Liu:
rCOS: A refinement calculus of object systems. 109-142
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NaumannB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NaumannB06
David A. Naumann, Michael Barnett:
Towards imperative modules: Reasoning about invariants and sharing of mutable state. 143-168

Volume 365, Number 3, November 2006

Spatial Representation: Discrete vs. Continuous Computational Models, Spatial Representation: Discrete vs. Continuous Computational Models

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KoppermanPSSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KoppermanPSSW06
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
Foreword. 169-170

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbbesK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbbesK06
Samy Abbes, Klaus Keimel:
Projective topology on bifinite domains and applications. 171-183
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbeBFPRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbeBFPRS06
Kinetsu Abe, Justin Bisceglio, David R. Ferguson, Thomas J. Peters, Alexander Russell, Takis Sakkalis:
Computational topology for isotopic surface reconstruction. 184-198
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Fajstrup06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fajstrup06
Lisbeth Fajstrup:
Cubical local partial orders on cubically subdivided spaces - Existence and construction. 199-205
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GratusP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GratusP06
Jonathan Gratus, Timothy Porter:
A spatial view of information. 206-215
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HamrinS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HamrinS06
Göran Hamrin, Viggo Stoltenberg-Hansen:
Two categories of effective continuous cpos. 216-236
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KunziPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KunziPS06
Hans-Peter A. Künzi, Homeira Pajoohesh, Michel P. Schellekens:
Partial quasi-metrics. 237-246
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Raussen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Raussen06
Martin Raußen:
Deadlocks and dihomotopy in mutual exclusion models. 247-257
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Selivanov06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Selivanov06
Victor L. Selivanov:
Towards a descriptive set theory for domain-like structures. 258-282

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.