default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 109

> Home > Journals > Journal of Logical 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 109, December 2019

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlrahmanV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlrahmanV19
Yehia Abd Alrahman, Hugo Torres Vieira:
A coordination protocol language for power grid operation control.

Special Issue on Formal Approaches to Parallel and Distributed Systems

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/MarquerG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/MarquerG19
Yoann Marquer, Frédéric Gava:
Axiomatization and characterization of BSP algorithms.

Special Issue on 20 Years of Coordination Models and Languages

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/ViroliBDACP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ViroliBDACP19
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From distributed coordination to field calculus and aggregate computing.

Special Issue on DaLí-Dynamic Logics, new trends and applications ? Selected contributions

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BaltagGOSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BaltagGOSS19
Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets:
A dynamic logic for learning theory.

Special Issue on selected papers of the 11th Interaction and Concurrency Experience ICE 2018

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarbaneradH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarbaneradH19
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Connecting open systems of communicating finite state machines.

Special Issue on Graph Transformations (extended selected papers from ICGT 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KreowskiR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KreowskiR19
Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph transformation through graph surfing in reaction systems.
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AzziCR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AzziCR19
Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro:
On the essence and initiality of conflicts in M-adhesive transformation systems.
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KonigNN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KonigNN19
Barbara König, Maxime Nederkorn, Dennis Nolte:
CoReS: A tool for computing core graphs via SAT/SMT solvers.

Special Issue on Open Problems in Concurrency Theory

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Glabbeek19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Glabbeek19
Rob van Glabbeek:
Ensuring liveness properties of distributed systems: Open problems.

Special Issue on Interaction and Concurrency Experience

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BartolettiBHK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BartolettiBHK19
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Preface for the special issue on Interaction and Concurrency Experience 2017.

Special Issue on Computational modelling and data-driven techniques for systems analysis

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GalpinMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GalpinMM19
Vashti Galpin, Paolo Milazzo, Anna Monreale:
Guest editors' foreword.

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.