![](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 132
Volume 132, April 2023
- Sabine Broda
, António Machiavelo
, Nelma Moreira
, Rogério Reis
:
Location automata for synchronised shuffle expressions. 100847
- Zorica Savanovic
, Letterio Galletta:
A type language for distributed reactive components governed by communication protocols. 100848 - María Alpuente
, Demis Ballis
, Santiago Escobar, D. Galán, Julia Sapiña:
Safety enforcement via programmable strategies in Maude. 100849
- Dániel Horpácsi
, Péter Bereczky
, Simon J. Thompson:
Program equivalence in an untyped, call-by-value functional language with uncurried functions. 100857
- Maurice Laveaux
, Tim A. C. Willemse:
Decomposing monolithic processes in a process algebra with multi-actions. 100858
- Jinfu Chen, Chi Zhang, Saihua Cai
, Lin Zhang, Liang Ma:
A memory-related vulnerability detection approach based on vulnerability model with Petri Net. 100859
- Enrique Martin-Martin
, Manuel Montenegro, Adrián Riesco
, Juan Rodríguez-Hortalá, Rubén Rubio
:
Verification of the ROS NavFn planner using executable specification languages. 100860
![](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.