Volume 74, Numbers 1-2, December 2008
export record as
dblp key:
journals/scp/MassacciPM08 export record as
dblp key:
export record as
dblp key:
journals/scp/SchellekensWP08 export record as
dblp key:
journals/scp/BianchiBFPT08 export record as
dblp key:
Atle Refsdal ,
Ketil Stølen :
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis.
34-42
export record as
dblp key:
export record as
dblp key:
Jerry den Hartog :
Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic.
52-63
Volume 74, Number 3, January 2009
export record as
dblp key:
Rik Eshuis :
Reconciling statechart semantics.
65-99
export record as
dblp key:
Hubert Garavel ,
Gwen Salaün ,
Wendelin Serwe :
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.
100-127
export record as
dblp key:
export record as
dblp key:
Volume 74, Number 4, February 2009
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/scp/ButterfieldFW09 export record as
dblp key:
Volume 74, Numbers 5-6, March 2009
export record as
dblp key:
journals/scp/AleksyAGPW09 export record as
dblp key:
export record as
dblp key:
journals/scp/WurthingerWM09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 74, Number 7, May 2009
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/scp/BinkleyLMM09 export record as
dblp key:
export record as
dblp key:
Volume 74, Number 8, June 2009
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andreas Abel :
Type-based termination of generic programs.
550-567
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Carroll Morgan :
The Shadow Knows: Refinement and security in sequential programs.
629-653
export record as
dblp key:
Volume 74, Number 9, July 2009 Special Issue on FOCLASA '06
export record as
dblp key:
Ernesto Pimentel ,
Jean-Marie Jacquet :
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).
669-670
export record as
dblp key:
export record as
dblp key:
journals/scp/KluppelholzB09 export record as
dblp key:
Regular Papers
export record as
dblp key:
export record as
dblp key:
Volume 74, Number 10, August 2009
export record as
dblp key:
journals/scp/CarpinetiLP09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 74, Numbers 11-12, November 2009
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
