![](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 86
Volume 86, Number 1, January 2017
- Ivan Lanese, Alberto Lluch-Lafuente
, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2015. 1 - Anastasia Mavridou, Eduard Baranov
, Simon Bliudze
, Joseph Sifakis:
Configuration logics: Modeling architecture styles. 2-29 - Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated session compliance. 30-76 - Clément Aubert
, Ioana Cristescu:
Contextual equivalences in configuration structures and reversibility. 77-106 - Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda
, Frank D. Valencia:
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. 107-133 - Kasper Dokter
, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Combine and conquer: Relating BIP and Reo. 134-156
- Santiago Escobar
:
Rewriting Logic and its Applications (extended selected papers from WRLA 2014). 157-158 - Massimo Bartoletti
, Maurizio Murgia
, Alceste Scalas
, Roberto Zunino:
Verifiable abstractions for contract-oriented systems. 159-207 - Francisco Durán
, Antonio Moreno-Delgado
, Fernando Orejas, Steffen Zschaler
:
Amalgamation of domain specific languages with behaviour. 208-235 - Salvador Lucas
, José Meseguer:
Dependency pairs for proving termination properties of conditional term rewriting systems. 236-268 - Camilo Rocha
, José Meseguer, César A. Muñoz:
Rewriting modulo SMT and open system analysis. 269-297
- Minxia Luo
, Bei Liu:
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance. 298-307 - Arnaud Carayol, Zoltán Ésik:
An analysis of the equational properties of the well-founded fixed point. 308-318 - Helmut Grohne, Janis Voigtländer:
Formalizing semantic bidirectionalization and extensions with dependent types. 319-348 - Mario Bravetti, Elena Giachino
, Michael Lienhardt, Peter Y. H. Wong:
Dynamic Rebinding for Concurrent Object Groups: Theory and practice. 349-390 - Gulay Ünel, David Toman:
Logic programming approach to automata-based decision procedures. 391-407 - Robert M. Hierons
, Mercedes G. Merayo, Manuel Núñez
:
An extended framework for passive asynchronous testing. 408-424
![](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.