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
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.