default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 90

> Home > Journals > Journal of Logic and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 90, August 2017

Special Issue article - Places 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/OrchardY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/OrchardY17
Dominic A. Orchard, Nobuko Yoshida:
Guest editors' foreword. 1
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/MezzinaP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MezzinaP17
Claudio Antares Mezzina, Jorge A. Pérez:
Reversibility in session-based concurrency: A fresh look. 2-30
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BonoCDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BonoCDV17
Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Data-driven adaptation for smart sessions. 31-49
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/CogumbreiroSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CogumbreiroSS17
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar:
Formalization of Habanero phasers using Coq. 50-60
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ToninhoY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ToninhoY17
Bernardo Toninho, Nobuko Yoshida:
Certifying data in multiparty session types. 61-83

Virtual special issue article- RAMiCS 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/FurusawaKST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FurusawaKST17
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Kleisli, Parikh and Peleg compositions and liftings for multirelations. 84-101
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BerghammerSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BerghammerSW17
Rudolf Berghammer, Insa Stucke, Michael Winter:
Using relation-algebraic means and tool support for investigating and computing bipartitions. 102-124

Virtual special issue article- NWPT 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/PardoBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PardoBS17
Raúl Pardo, Musard Balliu, Gerardo Schneider:
Formalising privacy policies in social networks. 125-157
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/OweM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/OweM17
Olaf Owe, Charlie McDowell:
On detecting over-eager concurrency in asynchronously communicating concurrent object systems. 158-175

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.