default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 128

> 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 128, August 2022

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/PeyroneW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/PeyroneW22
Neda Peyrone, Duangdao Wichadakul:
Formal models for consent-based privacy. 100789

Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Valiron22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Valiron22
Benoît Valiron:
Semantics of quantum programming languages: Classical control, quantum control. 100790
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HennickerK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HennickerK22
Rolf Hennicker, Alexander Knapp:
Specification of systems with parameterised events: An institution-independent approach. 100791

Special issue A Tribute to Jose Manuel Valenca

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/OliveiraPBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/OliveiraPBH22
José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques:
A tribute to José Manuel Valença. 100792

Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Masci22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Masci22
Paolo Masci:
Formal analysis of the application programming interface of the PVS verification system. 100793
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FengBL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FengBL22
Hui Feng, Marcello M. Bonsangue, Benjamin Lion:
From symbolic constraint automata to Promela. 100794
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/LionAT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/LionAT22
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A formal framework for distributed cyber-physical systems. 100795

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DamanafshanF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DamanafshanF22
Morteza Damanafshan, Mehran S. Fallah:
Monitorable hyperproperties of nonterminating systems. 100796
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BergstraT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BergstraT22
Jan A. Bergstra, John V. Tucker:
Partial arithmetical data types of rational numbers and their equational specification. 100797

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.