cs0102025/root.bbl
1: \begin{thebibliography}{}
2: 
3: \bibitem[\protect\citename{Abdulla {\em et~al.}\relax, }1996]{ACJT96}
4: Abdulla, P.~A., {C}er{\=a}ns, K., Jonsson, B., \& Tsay, Y.-K. (1996).
5: \newblock {General Decidability Theorems for Infinite-State Systems}.
6: \newblock {\em Pages  313--321 of:} {\em {Proc. 11th Annual IEEE Int. Symposium
7:   on Logic in Computer Science (LICS'96)}}.
8: \newblock {IEEE Computer Society Press}.
9: 
10: \bibitem[\protect\citename{Andreoli, }1992]{And92}
11: Andreoli, J.-M. (1992).
12: \newblock {Logic Programming with Focusing Proofs in Linear Logic}.
13: \newblock {\em {Journal of Logic and Computation}}, {\bf 2}(3), 297--347.
14: 
15: \bibitem[\protect\citename{Andreoli, }1996]{And96}
16: Andreoli, J.-M. (1996).
17: \newblock {Coordination in LO}.
18: \newblock {\em Pages  42--64 of:} Andreoli, J.-M., Hankin, C., \& Metayer,
19:   D.~Le (eds), {\em {Coordination Programming: Mechanisms, Models and
20:   Semantics}}.
21: \newblock {Imperial College Press}.
22: 
23: \bibitem[\protect\citename{Andreoli \& Pareschi, }1991]{AP91a}
24: Andreoli, J.-M., \& Pareschi, R. (1991).
25: \newblock {Linear Objects: Logical Processes with Built-In Inheritance}.
26: \newblock {\em {New Generation Computing}}, {\bf 9}(3-4), 445--473.
27: 
28: \bibitem[\protect\citename{Andreoli {\em et~al.}\relax, }1993]{ALPT93}
29: Andreoli, J.-M., Leth, L., Pareschi, R., \& Thomsen, B. (1993).
30: \newblock {True Concurrency Semantics for a Linear Logic Programming Language
31:   with Broadcast Communication}.
32: \newblock {\em Pages  182--198 of:} Gaudel, M.-C., \& Jouannaud, J.-P. (eds),
33:   {\em {Proc. Theory and Practice of Software Development, International Joint
34:   Conference CAAP/FASE (TAPSOFT'93)}}.
35: \newblock {Lecture Notes in Computer Science}, vol. 668.
36: \newblock {Springer-Verlag}.
37: 
38: \bibitem[\protect\citename{Andreoli {\em et~al.}\relax, }1997]{APC97}
39: Andreoli, J.-M., Pareschi, R., \& Castagnetti, T. (1997).
40: \newblock {Static Analysis of Linear Logic Programming}.
41: \newblock {\em {New Generation Computing}}, {\bf 15}(4), 449--481.
42: 
43: \bibitem[\protect\citename{Bossi {\em et~al.}\relax, }1994]{BGLM94}
44: Bossi, A., Gabbrielli, M., Levi, G., \& Martelli, M. (1994).
45: \newblock {The s-Semantics Approach: Theory and Applications}.
46: \newblock {\em Journal of logic programming}, {\bf 19-20}, 149--197.
47: 
48: \bibitem[\protect\citename{Bozzano {\em et~al.}\relax, }2000a]{BDM00a}
49: Bozzano, M., Delzanno, G., \& Martelli, M. (2000a).
50: \newblock {A Bottom-up Semantics for Linear Logic Programs}.
51: \newblock {\em Pages  92--102 of:} Gabbrielli, M., \& Pfenning, F. (eds), {\em
52:   {Proc. 2nd International Conference on Principles and Practice of Declarative
53:   Programming (PPDP'00)}}.
54: \newblock {ACM Press}.
55: 
56: \bibitem[\protect\citename{Bozzano {\em et~al.}\relax, }2000b]{BDM00b}
57: Bozzano, M., Delzanno, G., \& Martelli, M. (2000b).
58: \newblock {DLP as an Abstraction of LO. On the relations between Disjunctive
59:   and Linear Logic Programming}.
60: \newblock  {\em {Presented at 2000 Joint Conference on Declarative programming
61:   (APPIA-GULP-PRODE'00)}}.
62: \newblock {Available from URL
63:   http://nutella.di.unipi.it/{$\sim$}agp00/AccptAbstr.html}.
64: 
65: \bibitem[\protect\citename{Bultan {\em et~al.}\relax, }1997]{BGP97}
66: Bultan, T., Gerber, R., \& Pugh, W. (1997).
67: \newblock {Symbolic Model Checking of Infinite State Systems Using Presburger
68:   Arithmetics}.
69: \newblock {\em Pages  400--411 of:} {O.~Grumberg} (ed), {\em {Proc. 9th
70:   International Conference on Computer Aided Verification (CAV'97)}}.
71: \newblock {Lecture Notes in Computer Science}, vol. 1254.
72: \newblock {Springer-Verlag}.
73: 
74: \bibitem[\protect\citename{Cervesato, }1995]{Cer95}
75: Cervesato, I. (1995).
76: \newblock {Petri Nets and Linear Logic: a Case Study for Logic Programming}.
77: \newblock {\em Pages  313--318 of:} {M.~Alpuente and M.~I.~Sessa} (ed), {\em
78:   {Proc. 1995 Joint Conference on Declarative Programming (GULP-PRODE'95)}}.
79: \newblock Palladio Press.
80: 
81: \bibitem[\protect\citename{Cousot \& Cousot, }1977]{CC77}
82: Cousot, P., \& Cousot, R. (1977).
83: \newblock {Abstract Interpretation: A Unified Lattice Model for Static Analysis
84:   of Programs by Construction or Approximation of Fix-Points}.
85: \newblock {\em Pages  238--252 of:} {\em {Proc. 4th Symposium on Principles of
86:   Programming Languages (POPL'77)}}.
87: \newblock {ACM Press}.
88: 
89: \bibitem[\protect\citename{Cousot \& Cousot, }1979]{CC79}
90: Cousot, P., \& Cousot, R. (1979).
91: \newblock {Systematic Design of Program Analysis Frameworks}.
92: \newblock {\em Pages  269--282 of:} {\em {Proc. 6th Symposium on Principles of
93:   Programming Languages (POPL'79)}}.
94: \newblock {ACM Press}.
95: 
96: \bibitem[\protect\citename{Cousot \& Halbwachs, }1978]{CH78}
97: Cousot, P., \& Halbwachs, N. (1978).
98: \newblock {Automatic Discovery of Linear Restraints Among Variables of a
99:   Program}.
100: \newblock {\em Pages  84--96 of:} {\em {Proc. 5th Symposium on Principles of
101:   Programming Languages (POPL'78)}}.
102: \newblock {ACM Press}.
103: 
104: \bibitem[\protect\citename{Delzanno \& Podelski, }1999]{DP99}
105: Delzanno, G., \& Podelski, A. (1999).
106: \newblock {Model checking in CLP}.
107: \newblock {\em Pages  223--239 of:} Cleaveland, R. (ed), {\em {Proc. 5th
108:   International Conference on Tools and Algorithms for Construction and
109:   Analysis of Systems (TACAS'99)}}.
110: \newblock Lecture Notes in Computer Science, vol. 1579.
111: \newblock Springer-Verlag.
112: 
113: \bibitem[\protect\citename{Dickson, }1913]{Dic13}
114: Dickson, L.~E. (1913).
115: \newblock {Finiteness of the Odd Perfect and Primitive Abundant Numbers with n
116:   Distinct Prime Factors}.
117: \newblock {\em {American Journal of Mathematics}}, {\bf 35}(413-422).
118: 
119: \bibitem[\protect\citename{Esparza \& Nielsen, }1994]{EN94}
120: Esparza, J., \& Nielsen, M. (1994).
121: \newblock {Decidability Issues for Petri Nets - a Survey}.
122: \newblock {\em {Journal of Informatik Processing and Cybernetics}}, {\bf
123:   30}(3), 143--160.
124: 
125: \bibitem[\protect\citename{Falaschi {\em et~al.}\relax, }1993]{FLMP93}
126: Falaschi, M., Levi, G., Martelli, M., \& Palamidessi, C. (1993).
127: \newblock {A Model-Theoretic Reconstruction of the Operational Semantics of
128:   Logic Programs}.
129: \newblock {\em {Information and Computation}}, {\bf 103}(1), 86--113.
130: 
131: \bibitem[\protect\citename{Finkel \& Schnoebelen, }2001]{FS01}
132: Finkel, A., \& Schnoebelen, P. (2001).
133: \newblock {Well-Structured Transition Systems Everywhere!}
134: \newblock {\em {Theoretical Computer Science}}, {\bf 256}(1-2), 63--92.
135: 
136: \bibitem[\protect\citename{Gabbrielli {\em et~al.}\relax, }1995]{GDL95}
137: Gabbrielli, M., Dore, M.~G., \& Levi, G. (1995).
138: \newblock {Observable semantics for Constraint Logic Programs}.
139: \newblock {\em {Journal of Logic and Computation}}, {\bf 5}(2), 133--171.
140: 
141: \bibitem[\protect\citename{Giacobazzi \& Ranzato, }1997]{GR97b}
142: Giacobazzi, R., \& Ranzato, F. (1997).
143: \newblock {Completeness in Abstract Interpretation: A Domain Perspective}.
144: \newblock {\em Pages  231--245 of:} {M.~Johnson} (ed), {\em {Proc. 6th
145:   International Conference on Algebraic Methodology and Software Technology
146:   (AMAST'97)}}.
147: \newblock {Lecture Notes in Computer Science}, vol. 1349.
148: \newblock {Springer-Verlag}.
149: 
150: \bibitem[\protect\citename{Girard, }1987]{Gir87}
151: Girard, J.Y. (1987).
152: \newblock Linear logic.
153: \newblock {\em Theoretical computer science}, {\bf 50:1}, 1--102.
154: 
155: \bibitem[\protect\citename{Harland \& Pym, }1994]{HP94}
156: Harland, J., \& Pym, D.~J. (1994).
157: \newblock {A Uniform Proof-Theoretic Investigation of Linear Logic
158:   Programming}.
159: \newblock {\em {Journal of Logic and Computation}}, {\bf 4}(2), 175--207.
160: 
161: \bibitem[\protect\citename{Harland \& Winikoff, }1998]{HW98}
162: Harland, J., \& Winikoff, M. (1998).
163: \newblock {Making Logic Programs Reactive}.
164: \newblock {\em Pages  43--58 of:} {\em {Proc. JICSLP'98 Workshop on
165:   Transactions and Change in Logic Databases (Dynamics'98)}}.
166: 
167: \bibitem[\protect\citename{Henzinger {\em et~al.}\relax, }1997]{HHW97}
168: Henzinger, T.~A., Ho, P.-H., \& Wong-Toi, H. (1997).
169: \newblock {HYTECH: A Model Checker for Hybrid Systems}.
170: \newblock {\em Pages  460--463 of:} Grumberg, O. (ed), {\em {Proc. 9th
171:   International Conference on Computer Aided Verification (CAV'97)}}.
172: \newblock {Lecture Notes in Computer Science}, vol. 1254.
173: \newblock {Springer-Verlag}.
174: 
175: \bibitem[\protect\citename{Hodas \& Miller, }1994]{HM94}
176: Hodas, J., \& Miller, D. (1994).
177: \newblock {Logic Programming in a Fragment of Intuitionistic Linear Logic}.
178: \newblock {\em {Information and Computation}}, {\bf 110}(2), 327--365.
179: 
180: \bibitem[\protect\citename{Jaffar \& Maher, }1994]{JM94}
181: Jaffar, J., \& Maher, M.~J. (1994).
182: \newblock {Constraint Logic Programming: A survey}.
183: \newblock {\em {Journal of Logic Programming}}, {\bf 19-20}, 503--581.
184: 
185: \bibitem[\protect\citename{Karp \& Miller, }1969]{KM69}
186: Karp, R.~M., \& Miller, R.~E. (1969).
187: \newblock {Parallel Program Schemata}.
188: \newblock {\em {Journal of Computer and System Sciences}}, {\bf 3}(2),
189:   147--195.
190: 
191: \bibitem[\protect\citename{Kobayashi \& Yonezawa, }1995]{KY95}
192: Kobayashi, N., \& Yonezawa, A. (1995).
193: \newblock {Asynchronous Communication Model based on Linear Logic}.
194: \newblock {\em {Formal Aspects of Computing}}, {\bf 7}(2), 113--149.
195: 
196: \bibitem[\protect\citename{Kobayashi {\em et~al.}\relax, }1995]{KNY95}
197: Kobayashi, N., Nakade, M., \& Yonezawa, A. (1995).
198: \newblock {Static Analysis of Communication for Asynchronous Concurrent
199:   Programming Languages}.
200: \newblock {\em Pages  225--242 of:} Mycroft, A. (ed), {\em {Proc. 2th
201:   International Symposium on Static Analysis (SAS'95)}}.
202: \newblock {Lecture Notes in Computer Science}, vol. 983.
203: \newblock {Springer-Verlag}.
204: 
205: \bibitem[\protect\citename{Kopylov, }1995]{Kop95}
206: Kopylov, A.~.P. (1995).
207: \newblock {Decidability of Linear Affine Logic}.
208: \newblock {\em Pages  496--504 of:} Kozen, D. (ed), {\em {Proc. 10th Annual
209:   IEEE Symposium on Logic in Computer Science (LICS'95)}}.
210: \newblock {IEEE Computer Society Press}.
211: 
212: \bibitem[\protect\citename{Lloyd, }1987]{Llo87}
213: Lloyd, J.~.W. (1987).
214: \newblock {\em {Foundations of Logic Programming}}.
215: \newblock {Springer-Verlag}.
216: 
217: \bibitem[\protect\citename{Miller, }1995]{Mil95}
218: Miller, D. (1995).
219: \newblock {A Survey of Linear Logic Programming}.
220: \newblock {\em {Computational Logic: The Newsletter of the European Network of
221:   Excellence in Computational Logic}}, {\bf 2}(2), 63--67.
222: 
223: \bibitem[\protect\citename{Miller, }1996]{Mil96}
224: Miller, D. (1996).
225: \newblock {Forum: A Multiple-Conclusion Specification Logic}.
226: \newblock {\em Theoretical computer science}, {\bf 165}(1), 201--232.
227: 
228: \bibitem[\protect\citename{Minker {\em et~al.}\relax, }1991]{MRL91}
229: Minker, J., Rajasekar, A., \& Lobo, J. (1991).
230: \newblock {Theory of Disjunctive Logic Programs}.
231: \newblock {\em Pages  613--639 of:} Lassez, J.L., \& Plotkin, G. (eds), {\em
232:   {Computational Logic. Essays in Honor of Alan Robinson}}.
233: \newblock {MIT Press}.
234: 
235: \end{thebibliography}
236: