| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A general overview of formal languages for individual-based modelling of ecosystems
|
Toro, Mauricio
|
|
|
104 |
C |
p. 117-126
|
article
|
| 2 |
A stable non-interleaving early operational semantics for the pi-calculus
|
Hildebrandt, Thomas Troels
|
|
|
104 |
C |
p. 227-253
|
article
|
| 3 |
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
|
Wang, Rui
|
|
|
104 |
C |
p. 254-273
|
article
|
| 4 |
Editorial Board
|
|
|
|
104 |
C |
p. ii
|
article
|
| 5 |
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
|
Drewes, Frank
|
|
|
104 |
C |
p. 303-341
|
article
|
| 6 |
Geographic wayfinders and space-time algebra
|
Möller, Bernhard
|
|
|
104 |
C |
p. 274-302
|
article
|
| 7 |
Higher-order linearisability
|
Murawski, Andrzej S.
|
|
|
104 |
C |
p. 86-116
|
article
|
| 8 |
Keep it fair: Equivalence and composition
|
Mennicke, Stephan
|
|
|
104 |
C |
p. 1-15
|
article
|
| 9 |
Nested-unit Petri nets
|
Garavel, Hubert
|
|
|
104 |
C |
p. 60-85
|
article
|
| 10 |
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
|
Klimek, Radosław
|
|
|
104 |
C |
p. 201-226
|
article
|
| 11 |
Precise subtyping for synchronous multiparty sessions
|
Ghilezan, Silvia
|
|
|
104 |
C |
p. 127-173
|
article
|
| 12 |
Preface to the special issue on the 10th International Conference on Graph Transformation
|
Plump, Detlef
|
|
|
104 |
C |
p. 174-175
|
article
|
| 13 |
Specifying graph languages with type graphs
|
Corradini, Andrea
|
|
|
104 |
C |
p. 176-200
|
article
|
| 14 |
Towards a categorical representation of reversible event structures
|
Graversen, Eva
|
|
|
104 |
C |
p. 16-59
|
article
|
Journal description