| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An algebra of database preferences
|
Möller, Bernhard
|
|
2015
|
|
3 |
p. 456-481
26 p.
|
artikel
|
| 2 |
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive–transitive closures
|
Berghammer, Rudolf
|
|
2015
|
|
3 |
p. 341-358
18 p.
|
artikel
|
| 3 |
Completeness results for omega-regular algebras
|
Cranch, James
|
|
2015
|
|
3 |
p. 402-425
24 p.
|
artikel
|
| 4 |
Contents
|
|
|
2016
|
|
3 |
p. v-
1 p.
|
artikel
|
| 5 |
Contents
|
|
|
2015
|
|
3 |
p. v-
1 p.
|
artikel
|
| 6 |
Contracts as games on event structures
|
Bartoletti, Massimo
|
|
2016
|
|
3 |
p. 399-424
26 p.
|
artikel
|
| 7 |
Deciding Kleene algebra terms equivalence in Coq
|
Moreira, Nelma
|
|
2015
|
|
3 |
p. 377-401
25 p.
|
artikel
|
| 8 |
Declarative event based models of concurrency and refinement in psi-calculi
|
Normann, Håkon
|
|
2016
|
|
3 |
p. 368-398
31 p.
|
artikel
|
| 9 |
Editorial Board
|
|
|
2016
|
|
3 |
p. IFC-
1 p.
|
artikel
|
| 10 |
Editorial Board
|
|
|
2015
|
|
3 |
p. IFC-
1 p.
|
artikel
|
| 11 |
Extended transitive separation logic
|
Dang, Han-Hing
|
|
2015
|
|
3 |
p. 303-325
23 p.
|
artikel
|
| 12 |
Infinite executions of lazy and strict computations
|
Guttmann, Walter
|
|
2015
|
|
3 |
p. 326-340
15 p.
|
artikel
|
| 13 |
Multirelational representation theorems for complete idempotent left semirings
|
Furusawa, Hitoshi
|
|
2015
|
|
3 |
p. 426-439
14 p.
|
artikel
|
| 14 |
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra
|
O'Hearn, Peter W.
|
|
2015
|
|
3 |
p. 285-302
18 p.
|
artikel
|
| 15 |
Point axioms and related conditions in Dedekind categories
|
Furusawa, Hitoshi
|
|
2015
|
|
3 |
p. 359-376
18 p.
|
artikel
|
| 16 |
Preface for the special issue on Interaction and Concurrency Experience 2014
|
Lanese, Ivan
|
|
2016
|
|
3 |
p. 367-
1 p.
|
artikel
|
| 17 |
Relating two automata-based models of orchestration and choreography
|
Basile, D.
|
|
2016
|
|
3 |
p. 425-446
22 p.
|
artikel
|
| 18 |
Relational and algebraic methods in computer science
|
Kahl, Wolfram
|
|
2015
|
|
3 |
p. 283-284
2 p.
|
artikel
|
| 19 |
Symmetric Heyting relation algebras with applications to hypergraphs
|
Stell, John G.
|
|
2015
|
|
3 |
p. 440-455
16 p.
|
artikel
|
Tijdschrift beschrijving