default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 119

> 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 119, February 2021

Interaction and Concurrency Experience 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarbaneraDLT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarbaneraDLT21
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
Composition and decomposition of multiparty sessions. 100620

Working Formal Methods (extended selected papers from FROM 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BozgaIS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BozgaIS21
Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking deadlock-freedom of parametric component-based systems. 100621

Interaction and Concurrency Experience 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/ProkicV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ProkicV21
Ivan Prokic, Hugo Torres Vieira:
The C_π-calculus: A model for confidential name passing. 100622

Logics and Categories for Distribution and Concurrency – A tribute to Anna Labella in occasion of her retirement

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CorradiniMMRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CorradiniMMRT21
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi:
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. 100630
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GorlaS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GorlaS21
Daniele Gorla, Ivano Salvo:
Conflict vs causality in event structures. 100631

Regular Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KannimoolaJA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KannimoolaJA21
Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan:
Semantics of temporal constrained objects. 100632

Special issue on 30th Nordic Workshop on Programming Theory (NWPT 2018)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/AbrahamDEK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AbrahamDEK21
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. 100633

Working Formal Methods (extended selected papers from FROM 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DramnescJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DramnescJ21
Isabela Dramnesc, Tudor Jebelean:
Synthesis of sorting algorithms using multisets in Theorema. 100635

Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FrancalanzaC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FrancalanzaC21
Adrian Francalanza, Clare Cini:
Computer says no: Verdict explainability for runtime monitors using a local proof system. 100636

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.