default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 546

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on 20 of 20 records

view refined list in

export refined list as

showing all 20 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 546, August 2014

Models of Interaction: Essays in Honour of Glynn Winskel

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CattaniHV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CattaniHV14
Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Nielsen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Nielsen14
Mogens Nielsen:
Trust in event structures. 3-6
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Abramsky14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Abramsky14
Samson Abramsky:
Events in context. 7-9
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Panangaden14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Panangaden14
Prakash Panangaden:
Causality in physics and computation. 10-16
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BauerPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BauerPS14
Andrej Bauer, Gordon D. Plotkin, Dana S. Scott:
Cartesian closed categories of separable Scott domains. 17-29
no results

Special issue articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BenvenisteJA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BenvenisteJA14
Albert Benveniste, Claude Jard, Samy Abbes:
Foreword in honor of Glynn Winskel. 30-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Abbes14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Abbes14
Samy Abbes:
Branching cells for asymmetric event structures. 32-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BenvenisteJA14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BenvenisteJA14a
Albert Benveniste, Claude Jard, Samy Abbes:
Application of branching cells to QoS aware service orchestrations. 52-62
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BernardoNL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BernardoNL14
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. 63-92
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BucaloR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BucaloR14
Anna Bucalo, Giuseppe Rosolini:
Sobriety for equilogical spaces. 93-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CurienGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CurienGH14
Pierre-Louis Curien, Richard Garner, Martin Hofmann:
Revisiting the categorical interpretation of dependent type theory. 99-119
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Fiore14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fiore14
Marcelo P. Fiore:
Analytic functors between presheaf categories over groupoids. 120-131
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hyland14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hyland14
J. M. E. Hyland:
Elements of a theory of algebraic theories. 132-144
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KinoshitaP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KinoshitaP14
Yoshiki Kinoshita, John Power:
Category theoretic structure of setoids. 145-163
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LarsenM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LarsenM14
Kim G. Larsen, Radu Mardare:
Complete proof systems for weighted modal logic. 164-175
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Mislove14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Mislove14
Michael W. Mislove:
Anatomy of a domain of continuous random variables I. 176-187
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MontanariS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MontanariS14
Ugo Montanari, Matteo Sammartino:
A network-conscious π-calculus and its coalgebraic semantics. 188-224
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ThiagarajanY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ThiagarajanY14
P. S. Thiagarajan, Shaofa Yang:
Rabin's theorem in the concurrency setting: A conjecture. 225-236
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Oosten14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Oosten14
Jaap van Oosten:
Realizability with a local operator of A.M. Pitts. 237-243
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ClausenDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ClausenDM14
Christian Clausen, Olivier Danvy, Moe Masuko:
A characterization of Moessner's sieve. 244-256
no results

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.