Volume 24; Issue 4-6

Formal Aspects of Computing

Volume 24; Issue 4-6
2

Three tokens in Herman’s algorithm

Kiefer, Stefan, Murawski, Andrzej S., Ouaknine, Joël, Wachter, Björn, Worrell, James
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 282 KB
english, 2012
7

Deterministic concurrent strategies

Winskel, Glynn
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 232 KB
english, 2012
9

Characterisations of testing preorders for a finite probabilisticπ-calculus

Deng, Yuxin, Tiu, Alwen
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 424 KB
english, 2012
10

External and internal choice with event groups in Event-B

Butler, Michael
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 342 KB
english, 2012
11

Towards a linear algebra of programming

Oliveira, José N.
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 341 KB
english, 2012
12

Filter-embedding semiring fusion for programming with MapReduce

Emoto, Kento, Fischer, Sebastian, Hu, Zhenjiang
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 319 KB
english, 2012
13

Exploring probabilistic bisimulations, part I

Hennessy, Matthew
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 392 KB
english, 2012
14

On building cyclic and shared structures in Haskell

Bird, Richard S.
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 285 KB
english, 2012
15

Using schedulers to test probabilistic distributed systems

Hierons, Robert M., Núñez, Manuel
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 573 KB
english, 2012
16

Dijkstra, Floyd and Warshall meet Kleene

Höfner, Peter, Möller, Bernhard
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 243 KB
english, 2012
17

Architectural refinement and notions of intransitive noninterference

Meyden, Ron
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 492 KB
english, 2012
18

A secure voting scheme based on rational self-interest

Misra, Jayadev
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 183 KB
english, 2012
19

In praise of algebra

Hoare, Tony, Staden, Stephan
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 119 KB
english, 2012
20

Using refinement calculus techniques to prove linearizability

Jonsson, Bengt
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 667 KB
english, 2012
21

Stepwise refinement of heap-manipulating code in Chalice

Leino, K. Rustan M., Yessenov, Kuat
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 584 KB
english, 2012
22

Preface

Höfner, P.
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 188 KB
english, 2012