default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 103

> Home > Journals > Journal of Logic and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 103, February 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/FavaSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FavaSS19
Daniel Schnetzer Fava, Martin Steffen, Volker Stolz:
Operational semantics of a weak memory model with channel synchronization. 1-30
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Mostowski19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Mostowski19
Wojciech Mostowski:
Model-based fault injection for testing gray-box systems. 31-45
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Sproston19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Sproston19
Jeremy Sproston:
Verification and control for probabilistic hybrid automata with finite bisimulations. 46-61
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/JacksonM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JacksonM19
Marcel Jackson, Szabolcs Mikulás:
Domain and range for angelic and demonic compositions. 62-78
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/EngelenburgJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/EngelenburgJK19
Sélinde van Engelenburg, Marijn Janssen, Bram Klievink:
Designing context-aware systems: A method for understanding and analysing context in practice. 79-104
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/LambersBKST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LambersBKST19
Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer:
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach. 105-129
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/KappeBLSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KappeBLSZ19
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi:
On series-parallel pomset languages: Rationality, context-freeness and automata. 130-153
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/KaramiOR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KaramiOR19
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani:
An evaluation of interaction paradigms for active objects. 154-183
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BinsbergenMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BinsbergenMS19
L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe:
Executable component-based semantics. 184-212
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/CorradiniDEPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CorradiniDEPR19
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The PBPO graph transformation approach. 213-231

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.