Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 131

> 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 131, February 2023

Special issue on Logics and Categories for Distribution and Concurrency - A tribute to Anna Labella in occasion of her retirement

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/SantoFP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SantoFP23
José Espírito Santo, Maria João Frade, Luís Pinto:
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. 100830

Special issue on Specification and Modelling of Computing Systems through Graphs and Graph Transformation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarkowskyG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarkowskyG23
Matthias Barkowsky, Holger Giese:
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. 100841

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AmeurBoulifaHM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AmeurBoulifaHM23
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine:
Compositional equivalences based on open pNets. 100842

Special issue on Interaction and Concurrency Experience 2021

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GiustoGL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GiustoGL23
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes:
Multiparty half-duplex systems and synchronous communications. 100843

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CastellaniDG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CastellaniDG23
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. 100844
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/JouannaudO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/JouannaudO23
Jean-Pierre Jouannaud, Fernando Orejas:
Unification of drags and confluence of drag rewriting. 100845

Special issue on 31st Nordic Workshop on Programming Theory (NWPT 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/VeltriV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/VeltriV23
Niccolò Veltri, Andrea Vezzosi:
Formalizing CCS and π-calculus in Guarded Cubical Agda. 100846

a service of

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.