![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Journal of Logic and Algebraic Methods in Programming, Volume 92
Volume 92, November 2017
- Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi
, Inhye Kang:
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. 1-18
- Romain Edelmann, Simon Bliudze
, Joseph Sifakis:
Functional BIP: Embedding connectors in functional programming languages. 19-44
- Fabio Gadducci
, Francesco Santini
, Luis Fernando Pino, Frank D. Valencia:
Observational and behavioural equivalences for soft concurrent constraint programming. 45-63 - Luca Aceto, Ignacio Fábregas
, Álvaro García-Pérez
, Anna Ingólfsdóttir:
A unified rule format for bounded nondeterminism in SOS with terms as labels. 64-86
![](https://dblp.org/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.