|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Quantum Representation for Involution Groups |
Crowder, Tanner |
2011 |
276 | C |
p. 145-158 14 p. |
artikel |
|
| 2 | A Resource Analysis of the π-calculus |
Turon, Aaron |
2011 |
276 | C |
p. 313-334 22 p. |
artikel |
|
| 3 | A Revisionist History of Concurrent Separation Logic |
Brookes, Stephen |
2011 |
276 | C |
p. 5-28 24 p. |
artikel |
|
| 4 | Capsules and Closures |
Jeannin, Jean-Baptiste |
2011 |
276 | C |
p. 191-213 23 p. |
artikel |
|
| 5 | Concurrent Separation Logic and Operational Semantics |
Vafeiadis, Viktor |
2011 |
276 | C |
p. 335-351 17 p. |
artikel |
|
| 6 | 2-Dimensional Directed Type Theory |
Licata, Daniel R. |
2011 |
276 | C |
p. 263-289 27 p. |
artikel |
|
| 7 | Formal Reduction for Rule-based Models |
Camporesi, Ferdinanda |
2011 |
276 | C |
p. 29-59 31 p. |
artikel |
|
| 8 | Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) |
Tschantz, Michael Carl |
2011 |
276 | C |
p. 61-79 19 p. |
artikel |
|
| 9 | From Applicative to Environmental Bisimulation |
Koutavas, Vasileios |
2011 |
276 | C |
p. 215-235 21 p. |
artikel |
|
| 10 | Multi-Linear Iterative K-Σ-Semialgebras |
Ésik, Z. |
2011 |
276 | C |
p. 159-170 12 p. |
artikel |
|
| 11 | Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions |
Battenfeld, Ingo |
2011 |
276 | C |
p. 105-119 15 p. |
artikel |
|
| 12 | Precision and the Conjunction Rule in Concurrent Separation Logic |
Gotsman, Alexey |
2011 |
276 | C |
p. 171-190 20 p. |
artikel |
|
| 13 | Preface |
Mislove, Michael |
2011 |
276 | C |
p. 1-3 3 p. |
artikel |
|
| 14 | Ramified Corecurrence and Logspace |
Ramyaa, Ramyaa |
2011 |
276 | C |
p. 247-261 15 p. |
artikel |
|
| 15 | Realization of Coinductive Types |
Kozen, Dexter |
2011 |
276 | C |
p. 237-246 10 p. |
artikel |
|
| 16 | Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems |
Silva, Alexandra |
2011 |
276 | C |
p. 291-311 21 p. |
artikel |
|
| 17 | Step-Indexed Kripke Model of Separation Logic for Storable Locks |
Buisse, Alexandre |
2011 |
276 | C |
p. 121-143 23 p. |
artikel |
|
| 18 | Towards Effects in Mathematical Operational Semantics |
Abou-Saleh, Faris |
2011 |
276 | C |
p. 81-104 24 p. |
artikel |
18 gevonden resultaten