![](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 84
Volume 84, Number 1, January 2015
- Cristina Cerschi Seceleanu
, Paul Pettersson:
Foreword. 1 - Anh-Dung Phan, Michael R. Hansen
:
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic. 2-18 - Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson:
Verification and code generation for invariant diagrams in Isabelle. 19-36 - Johan Dovland, Einar Broch Johnsen
, Olaf Owe
, Ingrid Chieh Yu:
A proof system for adaptable class hierarchies. 37-53 - Sofia Cassel, Falk Howar
, Bengt Jonsson, Maik Merten, Bernhard Steffen:
A succinct canonical register automaton model. 54-66 - Einar Broch Johnsen
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
:
Integrating deployment architectures and resource consumption in timed object-oriented models. 67-91 - Pontus Ekberg, Nan Guan
, Martin Stigge, Wang Yi:
An optimal resource sharing protocol for generalized multiframe tasks. 92-105
- Ulrich Berger
, Jens Blanck, Martín Escardó, Klaus Keimel:
Preface. 107 - Andrej Bauer, Matija Pretnar
:
Programming with algebraic effects and handlers. 108-123 - Bo Xie, Ming Quan Fu, Jeffery I. Zucker:
Characterizations of semicomputable sets of real numbers. 124-154 - Jean Goubault-Larrecq:
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases. 155-184 - Dongsheng Zhao, Weng Kin Ho
:
On topologies defined by irreducible sets. 185-195
Volume 84, Number 2, March 2015
- Naoki Nishida, Germán Vidal
:
A framework for computing finite SLD trees. 197-217 - Ming Quan Fu, Jeffery I. Zucker:
Models of computation for partial functions on the reals. 218-237 - Max Tschaikowski
, Mirco Tribastone
:
A unified framework for differential aggregations in Markovian process algebra. 238-258 - Marcel Jackson
, Tim Stokes:
Monoids with tests and the algebra of possibly non-halting programs. 259-275 - Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster:
The structure of finite meadows. 276-282
Volume 84, Number 3, May 2015
- Wolfram Kahl, Timothy G. Griffin, Peter Höfner:
Relational and algebraic methods in computer science. 283-284 - Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Jules Villard
, Akbar Hussain:
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra. 285-302 - Han-Hing Dang, Bernhard Möller:
Extended transitive separation logic. 303-325 - Walter Guttmann
:
Infinite executions of lazy and strict computations. 326-340 - Rudolf Berghammer, Sebastian Fischer:
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. 341-358 - Hitoshi Furusawa, Yasuo Kawahara:
Point axioms and related conditions in Dedekind categories. 359-376 - Nelma Moreira
, David Pereira
, Simão Melo de Sousa
:
Deciding Kleene algebra terms equivalence in Coq. 377-401 - James Cranch, Michael R. Laurence, Georg Struth:
Completeness results for omega-regular algebras. 402-425 - Hitoshi Furusawa, Koki Nishizawa:
Multirelational representation theorems for complete idempotent left semirings. 426-439 - John G. Stell
:
Symmetric Heyting relation algebras with applications to hypergraphs. 440-455 - Bernhard Möller, Patrick Roocks:
An algebra of database preferences. 456-481
Volume 84, Number 4, July 2015
- António Ravara
, Josep Silva
:
Editorial for the JLAMP Special Issue on automated specification and verification of web systems. 483-484 - Gabriel Ciobanu
, Ross Horne
, Vladimiro Sassone
:
Minimal type inference for Linked Data consumers. 485-504 - Musab A. AlTurki
, José Meseguer:
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. 505-533 - Amir Jahangard Rafsanjani
, Seyed-Hassan Mirian-Hosseinabadi:
Lightweight formalization and validation of ORM models. 534-549
Volume 84, Number 5, September 2015
- Sándor Vágvölgyi:
Symbol different term rewrite systems. 551-575 - Behnam Sattarzadeh, Mehran S. Fallah:
Automated type-based analysis of injective agreement in the presence of compromised principals. 576-610 - Hanne Riis Nielson
, Flemming Nielson
, Roberto Vigo:
A calculus of quality for robustness against unreliable communication. 611-639 - Shohreh Ajoudanian
, Seyed-Hassan Mirian-Hosseinabadi:
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy. 640-667 - Ingo Battenfeld, Matthias Schröder:
Observationally-induced lower and upper powerspace constructions. 668-682
- Alastair F. Donaldson, Vasco T. Vasconcelos
:
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). 683 - Francesco Tiezzi, Nobuko Yoshida
:
Reversible session-based pi-calculus. 684-707 - Tzu-Chun Chen
:
Lightening global types. 708-729
Volume 84, Number 6, November 2015
- Marco Bernardo, Daniel Gebler, Michele Loreti
:
Editorial for the Special Issue on Open Problems in Concurrency Theory. 731 - Silvia Crafa:
The role of concurrency in an evolutionary view of programming abstractions. 732-741 - Hubert Garavel:
Revisiting sequential composition in process calculi. 742-762 - Massimo Bartoletti, Ilaria Castellani
, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini
, Silvia Ghilezan
, Jovanka Pantovic
, Jorge A. Pérez
, Peter Thiemann, Bernardo Toninho
, Hugo Torres Vieira:
Combining behavioural types with security analysis. 763-780 - Iain Phillips
, Irek Ulidowski
:
Reversibility and asymmetric conflict in event structures. 781-805 - Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu:
A behavioural theory for a π-calculus with preorders. 806-825 - Tomasz Brengos
, Marino Miculan
, Marco Peressotti
:
Behavioural equivalences for coalgebras with unobservable moves. 826-852 - Roberto Bruni
, Ugo Montanari
, Matteo Sammartino
:
A coalgebraic semantics for causality in Petri nets. 853-883 - Kim G. Larsen
, Radu Mardare, Bingtian Xue:
Concurrent weighted logic. 884-897
![](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.