default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Programming, Volume 70

> 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 70, Number 1, January 2007

Web Services and Formal Methods

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BravettiZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BravettiZ07
Mario Bravetti, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on Web Services and Formal Methods. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BravettiZ07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BravettiZ07a
Mario Bravetti, Gianluigi Zavattaro:
Service oriented computing from a process algebraic perspective. 3-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HeckelC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HeckelC07
Reiko Heckel, Alexey Cherchago:
Structural and behavioural compatibility of graphical service specifications. 15-33
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/JohnsonLLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JohnsonLLV07
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt:
Formal specification of a Web services protocol. 34-52
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BaldoniBMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BaldoniBMP07
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about interaction protocols for customizing web service selection and composition. 53-73
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Viroli07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Viroli07
Mirko Viroli:
A core calculus for correlation in orchestration languages. 74-95
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LucchiM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LucchiM07
Roberto Lucchi, Manuel Mazzara:
A pi-calculus based semantics for WS-BPEL. 96-118

Volume 70, Number 2, February 2007

Algebraic Process Calculi: The First Twenty Five Years and Beyond

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoBFG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoBFG07
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. 119-120
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Amadio07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Amadio07
Roberto M. Amadio:
The SL synchronous language, revisited. 121-150
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BaetenR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BaetenR07
Jos C. M. Baeten, Michel A. Reniers:
Duplication of constants in process algebra. 151-171
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BergstraM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BergstraM07
Jan A. Bergstra, Cornelis A. Middelburg:
Preferential choice and coordination conditions. 172-200
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/CorradiniV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CorradiniV07
Flavio Corradini, Walter Vogler:
Performance of pipelined asynchronous systems. 201-221
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/PonseZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PonseZ07
Alban Ponse, Mark van der Zwaag:
A generalization of ACP using Belnap's logic. 222-235

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.