|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Local Reasoning for Concurrent Libraries: Mind the Gap |
Gardner, Philippa |
2014 |
308 | C |
p. 147-166 20 p. |
artikel |
|
| 2 | Adequacy and Complete Axiomatization for Timed Modal Logic |
Jaziri, Samy |
2014 |
308 | C |
p. 183-210 28 p. |
artikel |
|
| 3 | A Metrized Duality Theorem for Markov Processes |
Kozen, Dexter |
2014 |
308 | C |
p. 211-227 17 p. |
artikel |
|
| 4 | Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus |
Biernacki, Dariusz |
2014 |
308 | C |
p. 49-64 16 p. |
artikel |
|
| 5 | Canonicity of Weak ω-groupoid Laws Using Parametricity Theory |
Lasson, Marc |
2014 |
308 | C |
p. 229-244 16 p. |
artikel |
|
| 6 | Coalgebraic Update Lenses |
Ahman, Danel |
2014 |
308 | C |
p. 25-48 24 p. |
artikel |
|
| 7 | Identifying All Preorders on the Subdistribution Monad |
Sato, Tetsuya |
2014 |
308 | C |
p. 309-327 19 p. |
artikel |
|
| 8 | On a Categorical Framework for Coalgebraic Modal Logic |
Chen, Liang-Ting |
2014 |
308 | C |
p. 109-128 20 p. |
artikel |
|
| 9 | On Continuous Nondeterminism and State Minimality |
Adámek, Jiří |
2014 |
308 | C |
p. 3-23 21 p. |
artikel |
|
| 10 | On Grainless Footprint Semantics for Shared-memory Programs |
Brookes, Stephen |
2014 |
308 | C |
p. 65-86 22 p. |
artikel |
|
| 11 | Preface |
Jacobs, Bart |
2014 |
308 | C |
p. 1-2 2 p. |
artikel |
|
| 12 | QRB, QFS, and the Probabilistic Powerdomain |
Goubault-Larrecq, Jean |
2014 |
308 | C |
p. 167-182 16 p. |
artikel |
|
| 13 | Relational Graph Models, Taylor Expansion and Extensionality |
Manzonetto, Giulio |
2014 |
308 | C |
p. 245-272 28 p. |
artikel |
|
| 14 | Strategies as Concurrent Processes |
Castellan, Simon |
2014 |
308 | C |
p. 87-107 21 p. |
artikel |
|
| 15 | The Coinductive Resumption Monad |
Piróg, Maciej |
2014 |
308 | C |
p. 273-288 16 p. |
artikel |
|
| 16 | Total Maps of Turing Categories |
Cockett, J.R.B. |
2014 |
308 | C |
p. 129-146 18 p. |
artikel |
|
| 17 | Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras |
Rennela, Mathys |
2014 |
308 | C |
p. 289-307 19 p. |
artikel |
17 gevonden resultaten