![](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 100
Volume 100, November 2018
- Sanjiva Prasad:
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. 1-15 - Luca Padovani:
A type checking algorithm for concurrent object protocols. 16-35
- Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
On the metric-based approximate minimization of Markov Chains. 36-56 - Kalmer Apinis, Varmo Vene, Vesal Vojdani
:
Demand-driven interprocedural analysis for map-based abstract domains. 57-70 - Ivan Lanese
, Naoki Nishida
, Adrián Palacios
, Germán Vidal
:
A theory of reversibility for Erlang. 71-97
- Sebastiaan J. C. Joosten:
Finding models through graph saturation. 98-112 - Stef Joosten:
Relation Algebra as programming language using the Ampersand compiler. 113-129
- Elias Castegren
, Joel Wallin, Tobias Wrigstad
:
Bestow and atomic: Concurrent programming using isolation, delegation and grouping. 130-151 - Carlos Gregorio-Rodríguez
, Luis Llana
, Rafael Martínez-Torres:
An axiomatic semantics for iocos_ conformance relation. 152-184 - Dechao Li, Sijia Qin:
The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication. 185-194
- Oana Andrei
, Muffy Calder
:
Data-driven modelling and probabilistic analysis of interactive software usage. 195-214 - Lucia Nasti
, Paolo Milazzo
:
A Hybrid Automata model of social networking addiction. 215-229
![](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.