Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Programming, Volume 75

> Home > Journals > Journal of Logic and Algebraic Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 75, Number 1, February-March 2008

Algebraic Process Calculi. The First Twenty Five Years and Beyond. III

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoBFG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoBFG08
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BlanchetAF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BlanchetAF08
Bruno Blanchet, Martín Abadi, Cédric Fournet:
Automated verification of selected equivalences for security protocols. 3-51
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BusiZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BusiZ08
Nadia Busi, Gianluigi Zavattaro:
A process algebraic view of shared dataspace coordination. 52-85
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MaffeisG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MaffeisG08
Sergio Maffeis, Philippa Gardner:
Behavioural equivalences for dynamic Web data. 86-138
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Phillips08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Phillips08
Iain Phillips:
CCS with priority guards. 139-165

Volume 75, Number 2, April 2008

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/PrandiPQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PrandiPQ08
Davide Prandi, Corrado Priami, Paola Quaglia:
Communicating by compatibility. 167-181
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/JacquemardRV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JacquemardRV08
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron:
Tree automata with equality constraints modulo equational theories. 182-208
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BanachJP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BanachJP08
Richard Banach, Czeslaw Jeske, Michael Poppleton:
Composition mechanisms for retrenchment. 209-229

a service of

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.