![](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 Logic and Algebraic Methods in Programming, Volume 105
Volume 105, June 2019
- Cosimo Laneve
, Michael Lienhardt, Ka I Pun
, Guillermo Román-Díez
:
Time analysis of actor programs. 1-27 - Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen
, Søren M. Nielsen, Jirí Srba
:
Model checking and synthesis for branching multi-weighted logics. 28-46
- Sándor Vágvölgyi:
Some decidability results on one-pass reductions. 47-74
- Philipp Haller, Heather Miller:
A reduction semantics for direct-style asynchronous observables. 75-111
- Gerco van Heerdt, Joshua Moerman
, Matteo Sammartino
, Alexandra Silva:
A (co)algebraic theory of succinct automata. 112-125
- Marina Waldén:
NWPT 2017 - Special issue. 126
![](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.