![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of Logic and Algebraic Methods in Programming, Volume 104
Volume 104, April 2019
- Stephan Mennicke
, Tobias Prehn:
Keep it fair: Equivalence and composition. 1-15
- Eva Graversen
, Iain Phillips, Nobuko Yoshida
:
Towards a categorical representation of reversible event structures. 16-59
- Hubert Garavel:
Nested-unit Petri nets. 60-85 - Andrzej S. Murawski, Nikos Tzevelekos:
Higher-order linearisability. 86-116
- Mauricio Toro
:
A general overview of formal languages for individual-based modelling of ecosystems. 117-126
- Silvia Ghilezan
, Svetlana Jaksic, Jovanka Pantovic
, Alceste Scalas
, Nobuko Yoshida
:
Precise subtyping for synchronous multiparty sessions. 127-173 - Detlef Plump, Juan de Lara:
Preface to the special issue on the 10th International Conference on Graph Transformation. 174-175 - Andrea Corradini, Barbara König, Dennis Nolte:
Specifying graph languages with type graphs. 176-200
- Radoslaw Klimek
:
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. 201-226
- Thomas Troels Hildebrandt, Christian Johansen
, Håkon Normann:
A stable non-interleaving early operational semantics for the pi-calculus. 227-253
- Rui Wang, Lars Michael Kristensen, Hein Meling
, Volker Stolz
:
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. 254-273
- Bernhard Möller:
Geographic wayfinders and space-time algebra. 274-302 - Frank Drewes
, Berthold Hoffmann
, Mark Minas
:
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. 303-341
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.