Journals in DBLP

J. Log. Algebr. Program.
2007, volume: 70, number: 1

1. Mario Bravetti, Gianluigi Zavattaro
   Guest editor's introduction: Special issue on Web Services and Formal Methods. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:70, n:1, pp:1-2 [Journal]
   
2. Mario Bravetti, Gianluigi Zavattaro
   Service oriented computing from a process algebraic perspective. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:70, n:1, pp:3-14 [Journal]
   
3. Reiko Heckel, Alexey Cherchago
   Structural and behavioural compatibility of graphical service specifications. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:70, n:1, pp:15-33 [Journal]
   
4. James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
   Formal specification of a Web services protocol. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:70, n:1, pp:34-52 [Journal]
   
5. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
   Reasoning about interaction protocols for customizing web service selection and composition. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:70, n:1, pp:53-73 [Journal]
   
6. Mirko Viroli
   A core calculus for correlation in orchestration languages. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:70, n:1, pp:74-95 [Journal]
   
7. Roberto Lucchi, Manuel Mazzara
   A pi-calculus based semantics for WS-BPEL. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:70, n:1, pp:96-118 [Journal]