default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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.
last updated on 2025-12-09 00:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
