Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
L
-
L, 6(3)247--249, 7(1)1--2, 11(3)326--342
-
La Rosa, Marcello, 22(3)459--482, 27(5)753--788
-
La Rosa, Marcello, see Aalst, Wil M. P. van der,
see Polyvyanyy, Artem
-
Labbé, Sébastien, 20(6)563--595
-
Labbe:2008:SCA, 20(6)563--595
-
labeled, 27(5)951--973
-
Ladkin, Peter B., 7(5)473--509
-
Ladkin:1995:IMF, 7(5)473--509
-
Lahouij, Aida, 32(4)361--393
-
Lahouij:2020:EBB, 32(4)361--393
-
Laibinis, Linas, 27(1)53--77
-
Laibinis, Linas, see Tarasyuk, Anton
-
Laleau, Régine, 26(5)919--941, see Frappier, Marc
-
Lali, Muhammad Ikram, 24(1)27--44
-
Lali, Muhammad Ikram, see Hesselink, Wim H.
-
Lambda, 33(3)457--458
-
Lambda--Terms, 4_1S_776_780
-
Lamport, 7(5)550--575
-
Lamport, Leslie, 6(5)580--584
-
Lamport:1994:HWL, 6(5)580--584
-
Lamsweerde, Axel van, 23(3)239--242
-
Landin, 21(5)393--395
-
Landin, Peter, 13(3)195--195
-
Landin:2002:RBP, 13(3)195--195
-
lane, multi-, 29(4)583--600
-
Lanese, Ivan, 26(5)865--918
-
Lanese, Ivan, see Cruz-Filipe, Luís
-
Laneve, Cosimo, 27(4)613--640
-
Laneve:2015:ATW, 27(4)613--640
-
Lang, Frédéric, 22(6)681--711, 28(1)145--178, 28(5)767--804,
see Jebali, Fatma, \see{Vekris, Dimitris
-
Lang:2010:TFL, 22(6)681--711
-
language, 1(1)85--114, 1(1)115--135, 1(1)366--411, 3(1)21--57,
4(1)48--75, 4(4)376--408, 5(3)181--207, 5(4)289--298, 7(3)314--328,
8(6)706--715, 9(1)78--97, 10(2)187--192, 10(5)452--468,
12(2)120--144, 13(3)196--213, 15(1)28--47, 15(2)118--145,
15(4)370--389, 17(4)423--442, 18(4)397--420, 20(3)259--275,
22(3)297--326, 22(5)489--535, 22(5)537--545, 23(2)221--238,
26(6)1231--1269, 27(1)133--166, 27(3)499--523, 29(5)853--875,
30(1)163--192, 30(3)443--462, 33(6)1173--1208, 33(6)1279--1280
-
language, natural-, 28(5)725--765
-
language-independent, 28(3)469--497
-
Lano, Kevin, 27(1)193--235
-
Lano:2015:FMT, 27(1)193--235
-
Lanotte, Ruggero, 19(1)93--109
-
Lanotte:2007:PPT, 19(1)93--109
-
Lara, Juan de, 22(3)297--326, 26(6)1115--1152, 33(6)1173--1208
-
Lara, Juan de, see Rossini, Alessandro
-
large, 23(6)683--709, 31(1)27--46
-
Larsen, 31(4)453--454
-
Larsen, Kim G., 33(4)575--615
-
Larsen, Kim G., see Tappler, Martin
-
Larsen, P. G., 27(5)975--1001
-
Larsen, P. G., see Mota, A.
-
Larsen, Peter Gorm, 6(5)565--568, 6(6)586--606, 8(1)47--66,
12(4)216--217, 21(3)245--257
-
Larsen:1994:FSD, 6(6)586--606
-
Larsen:1994:RFS, 5(4)299--336, 6(5)565--568
-
Larsen:1996:SUD, 8(1)47--66
-
Larsen:2000:UVM, 12(4)216--217
-
Larsen:2009:POC, 21(3)245--257
-
late, 18(2)211--230
-
Latella, D., 10(5)550--575, 24(2)267--302
-
Latella, D., see Bowman, H., \see{Massink, M.
-
Latella, Diego, 10(4)311--312, 11(6)637--664
-
Latella, Diego, see Gnesi, Stefania
-
Latella:1999:AVB, 11(6)637--664
-
\LaTeX, 3(4)367--376
-
lattice, 4(6)544--571
-
law, 3(3)218--252, 23(4)465--512
-
Lawford, Mark, 31(5)611--640, 32(1)153--153
-
Lawford, Mark, see Diskin, Zinovy
-
Laws, 27(2)423--472
-
layer, physical-, 23(3)243--266
-
layered, 4(4)376--408, 17(1)1--18, 24(4)477--496
-
layers, 20(6)637--662, 23(3)289--306
-
Lazic, Ranko, 19(3)275--275
-
Lazic:2007:GE, 19(3)275--275
-
Lazreg, Sami, 33(6)1147--1172
-
Lazreg, Sami, see Cordy, Maxime
-
lazy, 22(6)713--733
-
LCF, 31(6)675--698
-
Le Gall, Pascale, 30(1)107--131
-
Le Gall, Pascale, see Léchenet, Jean-Christophe
-
Le Meur, Anne-Françoise, 22(3)345--361,
see Moha, Naouel
-
Le, Ton Chanh, 31(2)207--230
-
Le, Ton Chanh, see Ta, Quang-Trung
-
learning, 21(3)259--275, 28(2)233--263, 28(6)1027--1056, 33(3)301--323,
33(3)437--455, 33(4)575--615
-
Least, 11(1)75--105
-
Leavens, Gary T., 10(1)59--75, 19(2)159--189, 30(3)381--441
-
Leavens, Gary T., see Bao, Yuyan
-
Leavens:1998:PIS, 10(1)59--75
-
Leavens:2007:SVC, 19(2)159--189
-
Léchenet, Jean-Christophe, 30(1)107--131
-
Lechenet:2018:CBB, 30(1)107--131
-
Leduc, Guy, 10(3)248--266
-
Leduc, Guy, see Léonard, Luc
-
Lee, Edward A., 16(3)210--237
-
Lee, John A. N., 2(1)226--246
-
Lee, John A. N., see He, Xudong
-
Lee:2004:BTS, 16(3)210--237
-
Legay, Axel, 31(2)165--206, 33(6)1147--1172
-
Legay, Axel, see Biondi, Fabrizio,
see Cordy, Maxime
-
Legislation-driven, 32(2)251--273
-
Leifer, James J., 13(3)327--340
-
Leifer:2002:SLA, 13(3)327--340
-
Leino, K. Rustan M., 7(5)576--580, 11(1)56--74, 19(2)159--189,
24(4)519--535
-
Leino, K. Rustan M., see Leavens, Gary T.
-
Leino, M., 7(6)683--703
-
Leino, M., see Manohar, Rajit
-
Leino:1995:MSP, 7(5)576--580
-
Leino:1999:CPE, 11(1)56--74
-
Leino:2012:SRH, 24(4)519--535
-
Lengauer, C., 2(1)273--293
-
Lengauer, Christian, 7(6)663--682
-
Lengauer, Christian, see Gorlatch, Sergei
-
Lengauer:1990:PSP, 2(1)273--293
-
length, 22(6)667--679, 25(2)319--341, 30(2)319--332
-
lens, 31(5)611--640, 32(1)153--153
-
Lentfert, P. J. A., 5(1)21--60
-
Lentfert:1993:DMM, 5(1)21--60
-
Léonard, Luc, 10(3)248--266
-
Leonard:1998:FDT, 10(3)248--266
-
Lermer, K., 18(2)152--180
-
Lermer, Karl, 15(4)319--348
-
Lermer:2003:LAE, 15(4)319--348
-
Lermer:2006:PCR, 18(2)152--180
-
Lescanne, Pierre, 7(1)77--90
-
Lescanne:1995:TRS, 7(1)77--90
-
lessons, 17(1)58--68
-
Lester, David, 4(5)493--496, 7(1)106--110
-
Lester, David, see Atkinson, M. D.,
see Wright, Joakim von
-
Letan, Thomas, 33(1)127--150
-
Letan:2021:MVP, 33(1)127--150
-
Leth, Lone, 7(3)314--328
-
Leth:1995:SFC, 7(3)314--328
-
Leucker, Martin, 20(6)619--635
-
Leucker, Martin, see Grinchtein, Olga
-
Leue, Stefan, 7(5)473--509
-
Leue, Stefan, see Ladkin, Peter B.
-
Leuschel, Michael, 17(2)91--92, 23(6)683--709, 24(1)97--125,
28(2)295--323, 30(5)545--569
-
Leuschel, Michael, see Dobrikov, Ivaylo,
see Hallerstede, Stefan,
see Schneider, David
-
Leuschel:2005:GE, 17(2)91--92
-
Leuschel:2011:APV, 23(6)683--709
-
level, 6(1)1--38, 20(1)5--19
-
level, Multi-, 33(6)1173--1208
-
level, system-, 27(1)133--166
-
Lewis, Philip, 3(3)284--307
-
Lewis, Philip, see Qin, Huajun
-
Li, Chung-Chih, 25(6)847--891
-
Li, Chung-Chih, see Fu, Xiang
-
Li, Jianlin, 33(3)407--435
-
Li, Jianlin, see Yang, Pengfei
-
Li, Jianwen, 30(2)193--217
-
Li, Qin, 29(2)227--249
-
Li, Xiaoshan, 16(2)140--154
-
Li, Xiaoshan, see Liu, Zhiming
-
Li, Xuandong, 29(4)581--582, 33(3)301--323
-
Li, Xuandong, see Bu, Lei
-
Li, Yongdong, 30(6)739--757
-
Li, Yongdong, see Shi, Zhiping
-
Li, Yongjian, 25(4)465--501, 27(2)255--282
-
Li:2013:IAS, 25(4)465--501
-
Li:2015:FPA, 27(2)255--282
-
Li:2017:E, 29(4)581--582
-
Li:2017:RAA, 29(2)227--249
-
Li:2018:ETS, 30(2)193--217
-
Liang, Yongjuan, 33(3)301--323
-
Liang, Yongjuan, see Bu, Lei
-
library, 25(6)933--945, 30(5)495--523
-
Lieberherr, Karl J., 6(4)391--416
-
Lieberherr:1994:OEC, 6(4)391--416
-
lifted, 31(2)231--259
-
Light, 32(2)229--250
-
Lightfoot, Olga, 25(6)993--1016
-
Lightfoot, Olga, see Gottliebsen, Hanne
-
Limaye, Rhishikesh, 23(6)781--805
-
Limaye, Rhishikesh, see Wang, Chao
-
limits, 9(4)379--394, 25(2)219--256, 31(3)353--374
-
Lin, H., 8(4)379--407
-
Lin, H., see Hennessy, M.
-
Lin, Huimin, 2(1)301--311
-
Lin, T.-M., 19(1)111--136
-
Lin, T.-M., see Burns, A.
-
Lin, Yuhui, 31(1)95--129
-
Lin:1990:MMI, 2(1)301--311
-
Lin:2019:AEB, 31(1)95--129
-
Lindsay, Peter A., 24(2)249--266
-
Lindsay:2012:CSA, 24(2)249--266
-
line, 33(6)1173--1208
-
line, product-, 26(4)695--727
-
linear, 2(1)24--59, 2(1)139--166, 4(3)299--319, 7(2)113--149,
10(2)160--170, 11(4)402--425, 13(3)327--340, 15(4)319--348,
16(2)140--154, 19(3)363--374, 20(2)225--238, 21(3)259--275,
23(2)171--190, 24(4)433--458, 25(3)345--363, 25(6)847--891,
25(6)933--945, 27(2)283--307, 27(5)805--829, 28(6)909--935,
33(6)1115--1145
-
linear, non-, 27(5)805--829
-
linearizability, 23(1)91--112, 24(4)537--554, 29(6)935--950, 32(1)1--32
-
linked, 19(3)363--374
-
Linker, Sven, 29(4)583--600
-
Linker, Sven, see Bochmann, Gregor V.
-
Links, 13(2)142--160
-
Lins, Rafael D., 5(6)571--572
-
Lins:1993:BR, 5(6)571--572
-
Lip-Synchronisation, 10(5)550--575
-
Lipton, James, 29(1)97--124
-
Lipton, James, see Arias, Emilio Jesús Gallego
-
Lisp, 31(6)699--732
-
list, 5(1)61--78, 9(1)98--118, 13(3)233--251
-
literate, 8(1)86--107
-
Liu, Si, 31(5)503--540
-
Liu, Xi, 26(4)623--676
-
Liu, Xiaojian, 21(1)103--131
-
Liu, Xiaojian, see Zhao, Liang
-
Liu, Yang, 26(4)729--759, 30(3)351--380
-
Liu, Yang, see Dong, Jin Song, \see{Shi, Ling
-
Liu, Zhiming, 4(5)442--469, 7(5)510--532, 16(2)140--154, 21(1)103--131,
23(2)151--151, 29(4)581--582, 33(3)299--300
-
Liu, Zhiming, see Chen, Xiaoping,
see Li, Xuandong, \see{Zhao, Liang
-
Liu:1992:TPF, 4(5)442--469
-
Liu:1995:VSR, 7(5)510--532
-
Liu:2004:UPM, 16(2)140--154
-
Liu:2011:E, 23(2)151--151
-
Liu:2014:CD, 26(4)623--676
-
Liu:2019:RAT, 31(5)503--540
-
liveness, 6(5)495--511, 33(4)461--518
-
Llano, Maria Teresa, 26(2)203--249
-
Llano:2014:DIT, 26(2)203--249
-
load, 21(6)541--569
-
local, 6(5)569--579, 11(6)616--636, 14(1)35--54, 23(5)649--679
-
local-analysis-based, 31(3)375--409
-
localities, 6(2)165--200, 6(2)201--222
-
lock-free, 21(1)187--223
-
Löf's, Martin-, 3(3)218--252
-
logic, 1(1)242--272, 1(1)339--365, 2(1)24--59, 2(1)139--166,
2(1)226--246, 2(1)247--272, 3(2)189--205, 4(3)299--319,
5(3)208--223, 6(1)1--38, 6(1)39--59, 6_1S_801_825, 6(2)115--164,
6(5)495--511, 6(5)512--535, 7(1)91--105, 7(2)113--149, 7(4)412--429,
8(3)294--323, 8(4)408--427, 10(2)160--170, 10(3)243--247,
11(4)359--380, 11(4)472--473, 11(5)541--566, 12(1)52--70,
12(3)199--209, 13(3)233--251, 14(3)228--246, 15(1)48--83,
16(2)96--103, 16(2)140--154, 18(3)364--395, 18(4)495--517,
19(1)35--62, 19(2)273--273, 19(4)417--444, 20(3)277--294,
21(3)259--275, 22(2)83--104, 22(3)363--384, 22(3)483--484,
22(6)735--772, 23(1)91--112, 24(4)569--594, 25(3)345--363,
25(3)405--437, 25(6)971--991, 27(2)309--334, 28(6)909--935,
29(1)97--124, 29(1)155--172, 29(3)383--399, 29(3)453--474,
29(5)805--832, 30(3)381--441, 31(2)207--230, 31(6)751--807,
33(6)1209--1248
-
logic, co-, 29(3)401--421
-
logic, Temporal-, 24(3)393--416
-
logical, 8(1)3--46, 9(3)283--330, 9(3)331--348, 11(4)381--401,
16(2)104--120, 19(2)139--158, 32(1)149--151
-
long, 6(5)580--584
-
Long, Huan, 33(2)151--183
-
Long, Huan, see Zhang, Wenbo
-
looking, 30(1)107--131
-
loop, 8(1)108--126, 14(3)319--327, 22(2)105--128, 27(5)805--829
-
Loots, M. E., 12(1)1--17
-
Loots, M. E., see Bergstra, J. A.
-
Lopes, Antónia, 16(1)5--18, 23(4)433--463,
see Fiadeiro, José Luiz
-
Lopes:2004:SCV, 16(1)5--18
-
López, Natalia, 16(3)238--262
-
Lopez:2004:IFP, 16(3)238--262
-
Lord, 22(6)663--665
-
Loreti, Michele, 33(3)457--458
-
Loreti:2021:SPL, 33(3)457--458
-
lost, 31(5)503--540
-
LOTOS, 5(3)253--281, 7(4)440--468, 10(3)248--266, 11(2)132--159,
22(6)681--711
-
Lovely, 11(3)326--342
-
low, 31(2)261--285
-
Lowe, Gavin, 20(3)277--294, 31(4)411--419
-
Lowe:2008:SCP, 20(3)277--294
-
Lowe:2019:DCD, 31(4)411--419
-
Lower, 22(6)667--679
-
LTL, 28(3)345--379, 30(2)193--217
-
Lucanu, Dorel, 27(4)701--726, 28(3)469--497
-
Lucanu, Dorel, see Ciobâca, Stefan
-
Lucanu:2015:PEC, 27(4)701--726
-
Lucena, Carlos J. P. de, 8(1)3--46
-
Lucena, Carlos J. P. de, see Alencar, Paulo S. C.
-
Luchangco, Victor, 25(5)769--799
-
Luchangco, Victor, see Doherty, Simon
-
Luk, Wayne, 8(2)209--237, 9(5)537--559, 18(2)120--142
-
Luk, Wayne, see Brown, Geoffrey,
see McKeever, Steve, \see{O'Leary, John
-
Lukkien, Johan J., 4(2)195--236
-
Lukkien:1992:WPP, 4(2)195--236
-
Luo, Chi-Jian, 21(3)259--275
-
Luo, Chi-Jian, see Tsay, Yih-Kuen
-
Lupton, Peter, 4(5)487--492
-
Lupton, Peter, see Kay, Andrew
-
Lustre, 16(3)292--312
-
Luteberget, Bj{\o}rnar, 33(6)829--854
-
Luteberget:2021:DSF, 33(6)829--854
-
Lüttgen, Gerald, 8(5)607--616, 15(4)297--298, 16(3)165--165,
24(3)375--391, see Broy, Manfred,
see Graf, Susanne,
see Mühlberg, Jan Tobias
-
Luttik, Bas, 10(5)435--435
-
Luttik, Bas, see Groote, Jan Friso
-
Lv, Deyun, 33(3)325--341
-
Lv, Deyun, see Wu, Huihui
-
Lynch, Nancy, 7(3)231--265, 8(5)499--538
-
Lynch:1995:CST, 7(3)231--265
-
Lynch:1996:ATT, 8(5)499--538
-
Lysne, Olav, 9(1)98--118, 13(6)471--492
-
Lysne, Olav, see Krogdahl, Stein