![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Logical and Algebraic Methods in Programming, Volume 121
Volume 121, June 2021
- Magne Haveraaen
, Jaakko Järvi:
Semantics of multiway dataflow constraint systems. 100634
- Jean-Christophe Filliâtre:
Simpler proofs with decentralized invariants. 100645
- Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent
, Sergio Rajsbaum
:
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. 100662
- Paolo Bottoni, Rocco De Nicola
, Daniele Gorla
:
Tribute to Anna Labella. 100663
- Madalina Erascu
, Flavia Micota, Daniela Zaharie
:
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking. 100664
- Andrei Arusoaie
:
Certifying Findel derivatives for blockchain. 100665 - Michell Guzmán, Sophia Knight
, Santiago Quintero
, Sergio Ramírez
, Camilo Rueda
, Frank Valencia:
Reasoning about distributed information with infinitely many agents. 100674 - Jovana Dedeic
, Jovanka Pantovic, Jorge A. Pérez
:
On primitives for compensation handling as adaptable processes. 100675
- Georgiana Caltais
, Hünkar Can Tunç
:
Explaining safety failures in NetKAT. 100676
- Hendrik Maarand
, Tarmo Uustalu
:
Operational semantics with semicommutations. 100677
- Imed Eddine Bennour:
Formal verification of timed synchronous dataflow graphs using Lustre. 100678
- Diana Costa, Manuel A. Martins
:
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. 100679
- Salvador Lucas:
Applications and extensions of context-sensitive rewriting. 100680
- Simon Foster
, Kangfeng Ye
, Ana Cavalcanti
, Jim Woodcock
:
Automated verification of reactive and concurrent programs by calculation. 100681
- Joseph Boudou
, Andreas Herzig
, Nicolas Troquard
:
Resource separation in dynamic logic of propositional assignments. 100683
- Jaime Ramos
, João Rasga
, Cristina Sernadas
, Luca Viganò:
Event-Based Time-Stamped Claim Logic. 100684
- Eva Graversen
, Iain C. C. Phillips
, Nobuko Yoshida
:
Event structure semantics of (controlled) reversible CCS. 100686
- Salvador Lucas:
The origins of the halting problem. 100687
![](https://dblp1.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.