Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 546
Volume 546, August 2014
- Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca:
Preface. 1-2 - Mogens Nielsen:
Trust in event structures. 3-6 - Samson Abramsky
:
Events in context. 7-9 - Prakash Panangaden:
Causality in physics and computation. 10-16 - Andrej Bauer, Gordon D. Plotkin, Dana S. Scott:
Cartesian closed categories of separable Scott domains. 17-29
- Albert Benveniste, Claude Jard, Samy Abbes:
Foreword in honor of Glynn Winskel. 30-31 - Samy Abbes:
Branching cells for asymmetric event structures. 32-51 - Albert Benveniste, Claude Jard, Samy Abbes:
Application of branching cells to QoS aware service orchestrations. 52-62 - Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. 63-92 - Anna Bucalo, Giuseppe Rosolini:
Sobriety for equilogical spaces. 93-98 - Pierre-Louis Curien, Richard Garner, Martin Hofmann:
Revisiting the categorical interpretation of dependent type theory. 99-119 - Marcelo P. Fiore:
Analytic functors between presheaf categories over groupoids. 120-131 - J. M. E. Hyland:
Elements of a theory of algebraic theories. 132-144 - Yoshiki Kinoshita, John Power:
Category theoretic structure of setoids. 145-163 - Kim G. Larsen, Radu Mardare:
Complete proof systems for weighted modal logic. 164-175 - Michael W. Mislove:
Anatomy of a domain of continuous random variables I. 176-187 - Ugo Montanari, Matteo Sammartino:
A network-conscious π-calculus and its coalgebraic semantics. 188-224 - P. S. Thiagarajan, Shaofa Yang:
Rabin's theorem in the concurrency setting: A conjecture. 225-236 - Jaap van Oosten:
Realizability with a local operator of A.M. Pitts. 237-243 - Christian Clausen, Olivier Danvy, Moe Masuko:
A characterization of Moessner's sieve. 244-256
a service of 
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.
last updated on 2024-04-18 20:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
