default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 89

> 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 89, June 2017

Research article

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Ameur-BoulifaHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Ameur-BoulifaHK17
Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu:
Behavioural semantics for asynchronous components. 1-40
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/SoaresRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/SoaresRS17
Pedro Soares, António Ravara, Simão Melo de Sousa:
Revisiting concurrent separation logic. 41-66
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/ZeidlerWGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ZeidlerWGL17
Clemens Zeidler, Gerald Weber, Alex Gavryushkin, Christof Lutteroth:
Tiling algebra for constraint-based layout editing. 67-94
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/ArapinisLRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ArapinisLRR17
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan:
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. 95-149

Virtual special issue article- RAMiCS 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Krivulin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Krivulin17
Nikolai Krivulin:
Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling. 150-170

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.