summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/lsc/lsc.bib
blob: 355652be760127bff9ebac6ec85886bc37d7ff94 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
% $Id: lsc.bib,v 1.2 2006/02/23 12:57:15 berndw Exp $
%
% Bibliography to the lsc.sty manual.
% 
% Author: Bernd Westphal <westphal at informatik.uni-oldenburg.de> 
% 
% Copyright (c) 2005-2006 Bernd Westphal.  All rights reserved.
%
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%
% This work may be distributed and/or modified under the conditions of
% the LaTeX Project Public License, either version 1.3 of this license
% or (at your option) any later version.
% The latest version of this license is in
%   http://www.latex-project.org/lppl.txt
% and version 1.3 or later is part of all distributions of LaTeX
% version 2005/12/01 or later.
%
% This work has the LPPL maintenance status `maintained'.
% 
% The Current Maintainer of this work is the copyright holder.
%
% This work consists of the files README, lsc.sty, lsc.tex, lsc.bib.
%
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

@article{DammHarel2001,
  author       = "Werner Damm and David Harel",
  title        = "{LSC}s: Breathing Life into Message Sequence Charts",
  year         = "2001",
  month        = jul,
  journal      = "Formal Methods in System Design",
  volume       = 19,
  number       = 1,
  pages        = "45--80",
  x-topics     = "lsc"
}

@book{ITU-T1993,
  author       = {ITU-T},
  title        = {{ITU-T R}ecommendation {Z}.120: {M}essage {S}equence {C}hart ({MSC})},
  year         = "1999",
  url          = "-",
  publisher    = {ITU-T},
  x-topics     = "msc standard"
}

@phdthesis{Klose2003,
  author       = "Jochen Klose",
  title        = "Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior",
  year         = "2003",
  school       = {Carl von Ossietzky Universit\"{a}t Oldenburg},
  x-topics     = "lsc spec diss"
}

@book{HarelMarelly2003,
  author       = "David Harel and Rami Marelly",
  title        = "Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine",
  year         = "2003",
  url          = "-",
  publisher    = "Springer-Verlag",
  x-topics     = "lsc playinplayout"
}

@inproceedings{KloseWestphal2002,
  author       = "Jochen Klose and Bernd Westphal",
  title        = "Relating {LSC} Specifications to {UML} Models",
  year         = "2002",
  pages        = "130--137",
  url          = "-",
  crossref     = "ProcINT2002",
  x-topics     = "lsc"
}

@proceedings{ProcINT2002,
  editor       = {Hartmut Ehrig and Martin Grosse-Rhode},
  booktitle    = "Proceedings of the Workshop Integration of Software Specification Techniques, INT'02",
  month        = apr,
  year         = 2002
}

@article{DammWestphal2005,
  author       = "Werner Damm and Bernd Westphal",
  title        = {Live and Let Die: {LSC}-based Verification of {UML}-Models},
  year         = "2005",
  journal      = "Science of of Computer Programming",
  volume       = "55",
  number       = "1--3",
  month        = mar,
  pages        = "117--159",
  x-topics     = "umlverif sym lsc"
}

@article{MauwBos2001,
  author       = "Sjouke Mauw and Victor Bos",
  title        = {Drawing {M}essage {S}equence {C}harts with {\LaTeX}},
  year         = "2001",
  url          = "ftp://ftp.win.tue.nl/pub/techreports/sjouke/tbmsc.ps.Z",
  journal      = {TUGBoat},
  volume       = 22,
  number       = {1-2},
  pages        = {87--92},
  month        = {March/June},
  x-pardate    = "Wed Dec 28 18:50:28 MET 2005",
  x-topics     = "msc latex"
}