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 72

> 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 72, Number 1, May-June 2007

Algebraic Process Calculi: The First Twenty Five Years and Beyond. II

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoBFG07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoBFG07a
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/Bernardo07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Bernardo07
Marco Bernardo:
Non-bisimulation-based Markovian behavioral equivalences. 3-49
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Bolognesi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Bolognesi07
Tommaso Bolognesi:
Behavioral complexity indicators for process algebra: The NKS approach. 50-77
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BuscemiM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BuscemiM07
Maria Grazia Buscemi, Ugo Montanari:
A compositional coalgebraic model of fusion calculus. 78-97
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LeePS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LeePS07
Insup Lee, Anna Philippou, Oleg Sokolsky:
Resources in process algebra. 98-122

Volume 72, Number 2, July-August 2007

Programming Language Interference and Dependence

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ClarkDG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ClarkDG07
David Clark, Sebastian Danicic, Roberto Giacobazzi:
Special issue on Programming Language Interference and Dependence. 123
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MatosBC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MatosBC07
Ana Almeida Matos, Gérard Boudol, Ilaria Castellani:
Typing noninterference for reactive programs. 124-156
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Laurence07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Laurence07
Michael R. Laurence:
Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas. 157-172
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/PierroHSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PierroHSW07
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky:
Tempus fugit: How to plug it. 173-190
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DanicicHHO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DanicicHHO07
Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya:
A non-standard semantics for program slicing and dependence analysis. 191-206
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/YoshidaHB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/YoshidaHB07
Nobuko Yoshida, Kohei Honda, Martin Berger:
Linearity and bisimulation. 207-238

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.