|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
22 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Architectural refinement and notions of intransitive noninterference |
Meyden, Ron van der |
2012 |
24 | 4-6 |
p. 769-792 |
artikel |
|
| 2 | A secure voting scheme based on rational self-interest |
Misra, Jayadev |
2012 |
24 | 4-6 |
p. 793-805 |
artikel |
|
| 3 | Characterisations of testing preorders for a finite probabilistic π-calculus |
Deng, Yuxin |
2012 |
24 | 4-6 |
p. 701-726 |
artikel |
|
| 4 | Constraint-based correctness proofs for logic program transformations |
Pettorossi, Alberto |
2012 |
24 | 4-6 |
p. 569-594 |
artikel |
|
| 5 | Deterministic concurrent strategies |
Winskel, Glynn |
2012 |
24 | 4-6 |
p. 647-660 |
artikel |
|
| 6 | Dijkstra, Floyd and Warshall meet Kleene |
Höfner, Peter |
2012 |
24 | 4-6 |
p. 459-476 |
artikel |
|
| 7 | Exploring probabilistic bisimulations, part I |
Hennessy, Matthew |
2012 |
24 | 4-6 |
p. 749-768 |
artikel |
|
| 8 | External and internal choice with event groups in Event-B |
Butler, Michael |
2012 |
24 | 4-6 |
p. 555-567 |
artikel |
|
| 9 | Filter-embedding semiring fusion for programming with MapReduce |
Emoto, Kento |
2012 |
24 | 4-6 |
p. 623-645 |
artikel |
|
| 10 | In praise of algebra |
Hoare, Tony |
2012 |
24 | 4-6 |
p. 423-431 |
artikel |
|
| 11 | Layered reasoning for randomized distributed algorithms |
Swaminathan, Mani |
2012 |
24 | 4-6 |
p. 477-496 |
artikel |
|
| 12 | On building cyclic and shared structures in Haskell |
Bird, Richard S. |
2012 |
24 | 4-6 |
p. 609-621 |
artikel |
|
| 13 | On termination and invariance for faulty channel machines |
Bouyer, Patricia |
2012 |
24 | 4-6 |
p. 595-607 |
artikel |
|
| 14 | Preface |
Höfner, P. |
2012 |
24 | 4-6 |
p. 417-422 |
artikel |
|
| 15 | Probabilistic may/must testing: retaining probabilities by restricted schedulers |
Georgievska, Sonja |
2012 |
24 | 4-6 |
p. 727-748 |
artikel |
|
| 16 | Probabilistic verification of Herman’s self-stabilisation algorithm |
Kwiatkowska, Marta |
2012 |
24 | 4-6 |
p. 661-670 |
artikel |
|
| 17 | Reconciling real and stochastic time: the need for probabilistic refinement |
Markovski, J. |
2012 |
24 | 4-6 |
p. 497-518 |
artikel |
|
| 18 | Stepwise refinement of heap-manipulating code in Chalice |
Leino, K. Rustan M. |
2012 |
24 | 4-6 |
p. 519-535 |
artikel |
|
| 19 | Three tokens in Herman’s algorithm |
Kiefer, Stefan |
2012 |
24 | 4-6 |
p. 671-678 |
artikel |
|
| 20 | Towards a linear algebra of programming |
Oliveira, José N. |
2012 |
24 | 4-6 |
p. 433-458 |
artikel |
|
| 21 | Using refinement calculus techniques to prove linearizability |
Jonsson, Bengt |
2012 |
24 | 4-6 |
p. 537-554 |
artikel |
|
| 22 | Using schedulers to test probabilistic distributed systems |
Hierons, Robert M. |
2012 |
24 | 4-6 |
p. 679-699 |
artikel |
22 gevonden resultaten