![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Logical and Algebraic Methods in Programming, Volume 128
Volume 128, August 2022
- Neda Peyrone
, Duangdao Wichadakul
:
Formal models for consent-based privacy. 100789
- Benoît Valiron
:
Semantics of quantum programming languages: Classical control, quantum control. 100790 - Rolf Hennicker, Alexander Knapp
:
Specification of systems with parameterised events: An institution-independent approach. 100791
- José Nuno Oliveira, Jorge Sousa Pinto
, Luís Soares Barbosa
, Pedro Rangel Henriques
:
A tribute to José Manuel Valença. 100792
- Paolo Masci
:
Formal analysis of the application programming interface of the PVS verification system. 100793 - Hui Feng, Marcello M. Bonsangue
, Benjamin Lion:
From symbolic constraint automata to Promela. 100794 - Benjamin Lion, Farhad Arbab
, Carolyn L. Talcott:
A formal framework for distributed cyber-physical systems. 100795
- Morteza Damanafshan, Mehran S. Fallah:
Monitorable hyperproperties of nonterminating systems. 100796 - Jan A. Bergstra, John V. Tucker:
Partial arithmetical data types of rational numbers and their equational specification. 100797
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.