Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
P
-
Packetised, 10(4)313--337
-
Padovani, Luca, 27(4)613--640
-
Padovani, Luca, see Laneve, Cosimo
-
Paige, Richard F., 10(3)233--242, 16(1)51--79, 19(4)487--512,
21(4)303--303, 21(4)363--391
-
Paige, Richard F., see Brooke, Phillip J.
-
Paige:1998:HNP, 10(3)233--242
-
Paige:2004:EOO, 16(1)51--79
-
Paige:2009:E, 21(4)303--303
-
Paiva, Sofia Costa, 28(1)65--78
-
Paiva:2016:GCT, 28(1)65--78
-
Pal, Neelanjana, 33(4)519--545
-
Pal, Neelanjana, see Tran, Hoang-Dung
-
Palsberg, Jens, 9(1)49--67
-
Palsberg:1997:TIN, 9(1)49--67
-
pAMN, 18(3)308--328
-
Pang, Haiping, 32(1)113--145
-
Pang, Haiping, see Huang, Yanhong
-
Pang, Jun, 17(3)342--388, 25(4)465--501, 27(2)255--282, 28(3)343--344,
28(5)723--724, 31(1)27--46
-
Pang, Jun, see Badban, Bahareh,
see Li, Yongjian, \see{Merz, Stephan,
see Mizera, Andrzej
-
Pantel, Marc, 28(3)409--440
-
Pantel, Marc, see Hamiaz, Mounira Kezadri
-
Pantovi{\'c}, Jovanka, 28(4)643--667,
see Ghilezan, Silvia
-
paper, 13(3)187--193, 18(3)263--263
-
Paperback, 30(6)761--762
-
Pappalardo, Giuseppe, 9(2)119--148
-
Pappalardo, Giuseppe, see Koutny, Maciej
-
paradigm, 8(2)127--161, 18(3)329--363
-
parallel, 1(1)366--411, 4(4)376--408, 4(5)487--492, 6(4)417--439,
9(4)359--378, 9(5)518--536, 13(6)471--492, 14(2)123--197,
21(5)421--449
-
Parallelization, 7(6)663--682
-
Parameterization, 33(2)151--183
-
parameterized, 11(4)402--425, 22(1)63--81, 30(3)463--489
-
parametric, 6(6)676--695, 8(2)238--244, 8(3)247--293, 19(1)93--109
-
Parametrized, 10(1)30--42
-
Paramorphisms, 4(5)413--424
-
Parent-Vigouroux, Catherine, 9(5)484--517
-
Parent-Vigouroux:1997:VPC, 9(5)484--517
-
Park, 2(1)299--300
-
Parke, Tom, 1(1)412--415, 2(1)196--202
-
Parke, Tom, see Denvir, Tim
-
Parke:1989:BR, 1(1)412--415
-
Parker, David, 17(2)160--176, 24(4)661--670, 33(4)669--693
-
Parker, David, see Evangelidis, Alexandros,
see Kwiatkowska, Marta,
see Norman, Gethin
-
Parlog, 1(1)193--211
-
Parrow, Joachim, 4(6)497--543, 28(4)529--530
-
Parrow, Joachim, see Carbone, Marco,
see Orava, Fredrik
-
part, 11(4)359--380, 11(4)381--401, 21(1)65--102, 24(4)749--768,
26(2)407--432
-
partial, 1(1)193--211, 2(1)123--138, 4_1S_649_672, 5(3)208--223,
6(3)317--338, 9(4)425--445, 18(2)103--119, 23(3)307--332,
25(6)833--846, 26(2)407--432, 28(2)295--323, 29(1)33--55,
29(1)125--153, 29(5)777--803
-
Partial-order, 10(5)469--482
-
Partiality, 10(1)76--96
-
partition, 5(1)61--78, 33(4)695--727
-
partitioned, 23(4)421--432
-
partitioning, 17(4)443--460
-
Partsch, H. A., 2(1)109--122
-
Partsch:1990:FPM, 2(1)109--122
-
P{\u{a}}s{\u{a}}reanu, Corina S., 30(5)571--595,
see Elkader, Karam Abd
-
Pasqualin, Douglas Pereira, 27(5)885--916
-
Pasqualin:2015:TCA, 27(5)885--916
-
pass, 18(2)120--142
-
Passing, Message-, 13(6)471--492
-
passing, message-, 8(4)379--407
-
Passing, Value-, 11(2)160--199
-
passing, value-, 3(4)346--366, 5(5)432--466
-
patching, 31(1)95--129
-
Paterson, M. S., 2(1)299--300
-
Paterson, Ross, 11(2)200--222
-
Paterson, Ross, see Bird, Richard
-
Paterson:1990:OPD, 2(1)299--300
-
path, 29(2)365--379
-
pattern, 2(1)109--122, 21(5)397--420, 25(3)439--464, 26(5)919--941,
27(4)641--664, 28(6)937--1004, 29(3)423--452, 31(5)541--610
-
pattern-based, multi-, 19(3)363--374
-
Paul, Wolfgang, 20(6)637--662
-
Paul, Wolfgang, see Botaschanjan, Jewgenij
-
Paulson, Lawrence C., 4(5)493--496, 17(1)58--68, 31(6)675--698
-
Paulson, Lawrence C., see Atkinson, M. D.,
see Ehmety, Sidi O.
-
Paulson:2019:LIH, 31(6)675--698
-
Paun, Dimitrie O., 14(4)342--368
-
Paun:2003:CUS, 14(4)342--368
-
Paynter, S. E., 16(4)332--351
-
Paynter, Stephen, 12(2)120--144
-
Paynter:2000:AAD, 12(2)120--144
-
Paynter:2004:RMB, 16(4)332--351
-
Pease, Alison, 26(2)203--249
-
Pease, Alison, see Llano, Maria Teresa
-
Pedersen, Jan B., 30(2)239--277
-
Pedersen:2018:SCV, 30(2)239--277
-
Peirce, 6(3)339--358
-
Peled, Doron, 17(2)201--221
-
Peled, Doron, see Gunter, Elsa
-
Peleska, Jan, 23(2)191--219, 29(2)335--364, 33(6)925--955
-
Peleska, Jan, see Haxthausen, Anne E.,
see Huang, Wen-ling
-
Peleska:2021:EDV, 33(6)925--955
-
PEPA, 19(1)3--33
-
Pérez, Jorge A., 28(4)531--566, 28(4)643--667, 28(4)669--696,
see Castellani, Ilaria,
see Di Giusto, Cinzia,
see Ghilezan, Silvia
-
performance, 5(2)152--176, 8(6)716--736, 10(4)313--337, 16(3)238--262,
16(4)313--331, 19(1)3--33
-
Performance, High-, 14(3)247--266
-
Periodic, 11(5)567--590
-
permission, 27(3)525--549, 30(5)525--544
-
permutation, 11(1)56--74
-
Perna, Juan I., 25(3)365--388
-
Perna:2013:MCR, 25(3)365--388
-
Perrier, Guy, 10(2)160--170
-
Perrier, Guy, see Groote, Philippe de
-
persistent, 33(4)547--573
-
personal, 13(3)195--195, 31(6)663--674
-
perspective, 23(4)391--419, 27(3)573--609, 31(6)733--749
-
pervasive, 26(4)677--694, 27(5)885--916
-
Peter, 21(5)393--395, 31(4)453--454
-
Petiot, Guillaume, 30(6)629--657
-
Petiot:2018:HTH, 30(6)629--657
-
Petre, Luigia, 26(2)197--201, 27(4)611--612
-
Petre, Luigia, see Butler, Michael
-
Petre:2014:KSM, 26(2)197--201
-
Petrenko, A., 18(1)63--83
-
Petrenko, A., see Hallal, H. H.
-
Petri, 2(1)123--138, 9(4)409--424, 13(6)447--470, 20(2)225--238,
20(4)429--450, 25(5)659--681, 27(5)951--973, 28(4)615--641,
28(5)805--845, 31(1)47--58
-
Pettorossi, Alberto, 13(3)233--251, 24(4)569--594
-
Pettorossi:2002:LIS, 13(3)233--251
-
Pettorossi:2012:CBC, 24(4)569--594
-
phase, 14(3)247--266, 14(3)319--327, 27(1)1--31
-
physical, cyber-, 32(1)149--151
-
physical-layer, 23(3)243--266
-
Physigrams, 21(6)613--641
-
pi-calculus, 25(5)723--742
-
piecewise, 33(4)519--545
-
Pierce, Ken, 29(2)251--307
-
Pierce, Ken, see Bhattacharyya, Anirban
-
Pierce, Ken G., 23(3)289--306
-
Pierce, Ken G., see Jones, Cliff B.
-
Piessens, Frank, 22(3)423--457
-
Piessens, Frank, see Smans, Jan
-
PIF, 9(2)208--226
-
Pike, Lee, 23(3)243--266
-
Pike, Lee, see Brown, Geoffrey M.
-
Pilotto, Concetta, 23(5)649--679
-
Pilotto, Concetta, see Chandy, K. Mani
-
Pimentel, Ernesto, 16(3)166--193
-
Pimentel, Ernesto, see Gallardo, María del Mar
-
Pinger, Ralf, 33(6)925--955
-
Pinger, Ralf, see Peleska, Jan
-
Pinto, Jorge Sousa, 24(2)217--248
-
Pinto, Jorge Sousa, see Barros, José Bernardo
-
Pironti, Alfredo, 26(1)99--123, 26(1)125--167, 30(2)279--317
-
Pironti, Alfredo, see Avalle, Matteo,
see Sisto, Riccardo
-
Pironti:2014:SAD, 26(1)125--167
-
Pistiner, Or, 33(4)729--761
-
Pistiner, Or, see Amram, Gal
-
Pita, Isabel, 14(3)228--246
-
Pita, Isabel, see Verdejo, Alberto
-
Pitkänen, Risto, 12(4)231--232, see Aaltonen, Timo
-
Pitt, D. H., 11(5)567--590
-
Pitt, David, 3(1)102--105, 6(5)471--494
-
Pitt, David H., 14(1)35--54
-
Pitt:1991:BR, 3(1)102--105
-
Pitt:1994:RSU, 6(5)471--494
-
Pitt:1999:OAP, 11(5)567--590
-
Pitt:2002:LI, 14(1)35--54
-
Pitts, Andrew M., 13(3)341--363
-
Pitts, Andrew M., see Gabbay, Murdoch J.
-
Piveta, Eduardo Kessler, 27(5)885--916
-
Piveta, Eduardo Kessler, see Pasqualin, Douglas Pereira
-
Place, 11(1)1--20
-
Plagge, Daniel, 23(6)683--709
-
Plagge, Daniel, see Leuschel, Michael
-
planning, 17(1)38--57
-
Plásil, Frantisek, 25(4)543--572, see Poch, Tomás
-
Plat, Nico, 6(6)586--606, 12(4)211--215
-
Plat, Nico, see Denvir, Tim,
see Larsen, Peter Gorm
-
platform, 24(3)355--374
-
Platzer, 32(1)149--151
-
Platzer, André, 33(4)461--518, see Tan, Yong Kiam
-
Plausibility, 12(4)237--259
-
PLC, 12(4)220--221
-
Plöger, J., 30(1)133--162, see Strüber, D.
-
Plotkin, Gordon, 13(3)364--385
-
Plotkin:2002:TIM, 13(3)364--385
-
plugins, 19(3)375--399
-
Pnueli, 8(4)408--427, 22(6)663--665
-
Poch, Tomás, 25(4)543--572
-
Poch:2013:TBP, 25(4)543--572
-
Podelski, Andreas, 28(3)499--527
-
Podelski, Andreas, see Feo-Arenis, Sergio
-
point, 3(2)110--128
-
Point', `Cash-, 12(4)218--219
-
Point, `Cash-, 12(4)220--221
-
Point, Cash-, 12(4)211--215, 12(4)222--224, 12(4)231--232
-
pointers, 22(5)547--583
-
Pol, Jaco van de, 17(3)342--388
-
Pol, Jaco van de, see Badban, Bahareh
-
policy, 21(4)347--362, 23(5)627--648
-
Polikarpova, Nadia, 30(5)495--523
-
Polikarpova:2018:FVC, 30(5)495--523
-
Pollack, Robert, 13(3)386--402
-
Pollack:2002:DTR, 13(3)386--402
-
Pollet, Martin, 11(3)326--342
-
Pollet, Martin, see Siekmann, Jörg
-
poly-threading, 23(4)567--583
-
polyhedra, 17(2)222--257
-
polymorphic, 8(5)539--564
-
polymorphism, 8(3)247--293
-
polynomial, 20(6)563--595
-
Polyvyanyy, Artem, 27(5)753--788, 28(4)597--613
-
Polyvyanyy:2015:UNA, 27(5)753--788
-
Polyvyanyy:2016:EPB, 28(4)597--613
-
Pombo, Carlos L., 27(5)831--865
-
Pombo, Carlos L., see Castro, Pablo F.
-
Pomello, L., 4_1S_612_637
-
Pomello:1992:ACE, 4_1S_612_637
-
Pong, Man-Chi, 2(1)301--311
-
Pong, Man-Chi, see Lin, Huimin
-
Ponse, A., 6_1S_741_742
-
Ponse, A., see Boer, F. S. de
-
Ponse, Alban, 6(2)115--164, 8(6)648--678
-
Ponse, Alban, see Groote, Jan Friso
-
Ponse:1996:CPB, 8(6)648--678
-
POP, 13(3)196--213
-
Popplestone, Robin, 13(3)196--213
-
Popplestone:2002:PBS, 13(3)196--213
-
Poppleton, M., 11(5)498--540
-
Poppleton, M., see Banach, R.
-
Porr, Bernd, 28(6)1027--1056
-
Porr, Bernd, see Kirwan, Ryan
-
Portrait, 14(2)92--98
-
Pose, 32(4)417--437
-
position, 33(1)65--86
-
positioning, 33(6)957--987
-
Poskitt, Christopher M., 30(1)163--192
-
Poskitt, Christopher M., see Corrodi, Claudio
-
possibilistic, 26(1)169--194
-
potency, 29(1)3--31
-
£, 30(6)761--762
-
Pous, Damien, 31(6)733--749
-
Pous:2019:BCE, 31(6)733--749
-
Powell, Michael C., 25(6)847--891
-
Powell, Michael C., see Fu, Xiang
-
power, 7(2)169--182, 10(2)187--192, 17(2)93--112, 17(2)160--176,
28(4)597--613, 33(2)151--183
-
pp, 29(6)1121--1122, 30(3)491--492, 30(6)759--759, 30(6)761--762,
31(4)453--454
-
practical, 12(3)182--198, 20(4)481--505, 27(2)239--253, 32(2)275--314
-
practice, 15(4)297--298, 28(1)109--143
-
Practice-oriented, 21(3)245--257
-
practitioners, 7(5)550--575, 30(6)761--762
-
praise, 24(4)423--431
-
Prange, Ulrike, 22(3)327--344, 22(3)385--422
-
Prange, Ulrike, see Ehrig, Hartmut,
see Orejas, Fernando
-
Prasetya, I. S. W. B., 6(4)466--470
-
Prasetya:1994:EUS, 6(4)466--470
-
pre-filter, 33(4)519--545
-
precise, 28(3)441--467, 32(4)395--416
-
precondition, 4(2)195--236, 6_1S_788_800
-
Preda, Mila Dalla, 29(1)3--31
-
Preda, Mila Dalla, see Giacobazzi, Roberto
-
predicate, 2(1)226--246, 7(2)169--182, 9(3)270--282, 11(6)616--636,
19(3)401--413, 22(2)105--128, 23(5)649--679
-
predictive, 23(6)781--805
-
Preface, 24(4)417--422, 25(1)1--2
-
prefix, 6(3)250--268
-
prehistory, 31(6)663--674
-
PREMO, 10(4)405--434
-
Prenninger, W., 16(3)194--209
-
Prenninger, W., see Krüger, I.
-
preorders, 24(4)701--726
-
Preoteasa, Viorel, 17(1)69--90, 24(1)67--95
-
Preoteasa, Viorel, see Back, Ralph-Johan
-
Preoteasa:2012:IDD, 24(1)67--95
-
presence, 8(4)490--497, 22(5)547--583
-
preservation, 24(3)393--416
-
preserved, 5(1)79--88
-
preserving, 20(2)225--238, 22(3)459--482, 27(4)641--664
-
preserving, Concurrency-, 29(6)951--986
-
preserving, Consistency-, 31(3)287--320
-
preset, 26(6)1153--1167
-
Presheaves, 13(1)32--49
-
Press, 29(6)1121--1122
-
Presupposition, 6_1S_766_787
-
prevention, 31(5)503--540
-
Prevosto, Virgile, 27(3)573--609
-
Prevosto, Virgile, see Kirchner, Florent
-
Priami, Corrado, 6(6)676--695
-
Priami, Corrado, see Inverardi, Paola
-
principle, 3(4)326--345, 6(6)716--737, 24(1)3--26, 28(2)265--293
-
priority, 6(5)536--564, 8(5)585--606
-
ProB, 23(6)683--709, 28(2)295--323
-
probabilistic, 5(3)253--281, 11(1)21--44, 14(3)295--318, 16(4)313--331,
17(2)160--176, 19(1)93--109, 22(1)3--31, 24(4)497--518,
24(4)661--670, 24(4)679--699, 24(4)701--726, 24(4)727--748,
24(4)749--768, 25(1)107--131, 26(1)169--194, 27(1)79--102,
28(1)109--143, 30(1)45--75, 30(1)77--106, 31(1)27--46,
33(3)457--458, 33(4)637--667, 33(6)885--921
-
probability, 6(5)536--564, 8(5)585--606, 8(6)617--647, 12(5)392--415,
23(4)391--419, 24(4)727--748
-
problem, 2(1)331--341, 12(4)211--215, 30(5)545--569
-
procedure, 2(1)312--330, 5(6)554--570, 7(4)389--411, 11(6)616--636,
12(4)278--297, 12(5)372--391, 17(1)69--90, 18(2)152--180,
23(2)171--190, 23(6)739--779, 30(6)759--759
-
procedures.org, http://www.decision-, 30(6)759--759
-
process, 1(1)229--241, 2(1)167--195, 3(2)142--188, 3(4)346--366,
4(4)323--340, 5(5)432--466, 5(6)481--529, 5(6)530--553,
6(2)115--164, 6(2)165--200, 6(3)250--268, 6(3)269--316,
6(5)536--564, 8(2)188--208, 8(4)379--407, 8(6)648--678, 9(1)1--48,
9(2)119--148, 9(5)537--559, 10(1)30--42, 10(5)436--451,
12(5)392--415, 13(6)471--492, 16(3)238--262, 17(2)138--159,
18(2)181--210, 18(4)495--517, 19(1)111--136, 20(2)161--204,
20(3)277--294, 21(5)495--510, 21(6)513--539, 22(2)153--191,
22(3)243--268, 22(3)459--482, 30(3)351--380, 33(2)151--183,
33(2)207--249, 33(4)575--615
-
process, Inter-, 22(6)735--772
-
process, multi-, 5(5)467--479
-
processors, 6(4)417--439
-
producing, 19(3)343--362, 33(6)829--854
-
product, 33(6)1173--1208
-
product-line, 26(4)695--727
-
productivity, 29(3)453--474
-
ProFeat, 30(1)45--75
-
Professor, 2(1)299--300, 27(2)237--237, 29(6)933--933
-
profiles, 28(4)597--613
-
program, 1(1)173--192, 2(1)60--104, 2(1)273--293, 4_1S_597_611,
4_1S_693_726, 4(5)442--469, 6_1S_743_765, 6(6)607--619,
7(5)510--532, 7(6)652--662, 8(4)490--497, 9(2)149--174,
9(3)229--269, 9(3)331--348, 9(4)359--378, 9(5)448--468,
9(5)484--517, 10(1)1--29, 10(1)76--96, 11(4)448--471, 12(1)1--17,
12(2)100--119, 13(3)233--251, 15(1)48--83, 15(1)84--99,
15(4)299--318, 18(2)103--119, 19(2)159--189, 19(3)363--374,
19(3)375--399, 20(2)141--160, 21(3)277--291, 22(1)3--31,
22(2)105--128, 22(3)423--457, 22(5)611--627, 23(2)171--190,
23(6)781--805, 24(1)97--125, 24(4)569--594, 25(3)405--437,
26(2)281--303, 26(3)563--589, 26(6)1205--1229, 27(4)701--726,
28(1)79--107, 28(2)265--293, 28(3)469--497, 29(1)155--172,
29(3)401--421, 29(3)495--530, 29(3)531--557, 31(1)3--25,
31(2)133--163, 33(1)127--150
-
programming, 1(1)303--319, 4(4)341--375, 5(3)181--207, 5(4)337--366,
13(3)196--213, 14(2)123--197, 17(4)423--442, 18(3)288--307,
19(2)243--268, 21(3)227--244, 23(2)221--238, 23(4)421--432,
24(4)433--458, 24(4)623--645, 25(1)89--106, 26(5)865--918,
27(2)423--472, 29(1)97--124, 29(3)383--399, 29(3)401--421,
30(1)163--192, 33(6)1115--1145, 33(6)1279--1280
-
Programs, Proofs-as-, 13(3)403--421
-
progress, 4(2)195--236, 7(1)18--36, 7(4)389--411, 7(5)576--580,
9(3)270--282, 23(5)607--626
-
progress-based, 20(2)141--160
-
Proietti, Maurizio, 13(3)233--251, 24(4)569--594, 29(1)1--2
-
Proietti, Maurizio, see Pettorossi, Alberto
-
Proietti:2017:E, 29(1)1--2
-
projection, 2(1)273--293, 29(4)705--750
-
Prolog, 6_1S_743_765
-
PROMELA, 16(3)166--193, 27(5)789--804
-
Promela, 28(6)1027--1056
-
Promotion, 11(1)75--105
-
prone, error-, 27(1)33--52
-
proof, 2(1)312--330, 3(3)253--283, 3(4)326--345, 3(4)346--366,
4_1S_727_754, 4_1S_755_775, 4(5)425--441, 5(2)121--151,
5(6)554--570, 7(2)183--206, 8(4)379--407, 8(4)428--462,
9(2)208--226, 9(4)359--378, 9(5)448--468, 9(5)469--483, 10(1)76--96,
10(5)452--468, 11(3)244--271, 11(3)302--325, 11(4)426--447,
16(2)140--154, 16(4)387--393, 17(1)38--57, 19(3)343--362,
20(1)101--116, 22(2)193--213, 22(5)629--661, 23(1)133--150,
24(4)569--594, 26(4)761--793, 26(4)795--823, 28(3)469--497,
29(3)383--399, 30(5)597--625, 30(6)627--628, 30(6)629--657,
30(6)659--684, 31(1)95--129, 31(2)207--230, 33(6)855--884,
33(6)1039--1066
-
Proof-based, 27(2)335--374
-
ProofNavigator, 21(3)277--291
-
ProofPower-Z, 25(1)133--158
-
Proofs-as-Programs, 13(3)403--421
-
propagation, 29(3)495--530, 33(3)407--435
-
property, 2(1)207--225, 5(5)391--431, 6(6)607--619, 9(3)270--282,
14(3)295--318, 18(1)63--83, 20(2)225--238, 23(5)589--606,
23(6)683--709, 24(3)393--416, 27(1)79--102, 27(2)335--374,
27(4)641--664, 27(5)789--804, 32(2)315--360
-
Property-directed, 20(4)379--405
-
Protection, 32(1)113--145
-
Protective, 10(1)59--75
-
protocol, 2(1)359--392, 6(1)60--91, 6(1)92--112, 7(1)1--2, 7(1)3--17,
8(2)209--237, 10(5)483--508, 10(5)509--531, 10(5)550--575,
14(3)200--214, 14(3)215--227, 14(3)228--246, 14(3)247--266,
14(3)267--280, 14(3)295--318, 14(3)328--337, 17(3)260--276,
17(3)342--388, 18(4)433--458, 20(1)41--59, 20(2)205--224,
20(3)303--348, 22(1)33--61, 22(1)63--81, 22(5)585--609,
23(3)243--266, 23(4)541--565, 23(6)711--737, 25(4)543--572,
26(1)37--62, 26(1)99--123, 26(1)125--167, 30(2)279--317
-
Prototypes, 19(2)139--158
-
prototyping, 6(6)643--658, 26(6)1077--1113
-
provable, 27(2)255--282
-
Provably, 26(5)993--1031
-
Provably-correct, 18(2)120--142
-
prove, 24(4)537--554
-
Proved, 14(3)215--227
-
prover, 4_1S_597_611, 5(2)121--151, 11(3)272--301, 31(6)699--732
-
prover-based, 25(5)683--721
-
proving, 1(1)320--338, 11(3)343--357, 21(3)277--291, 23(1)91--112,
25(3)389--403, 25(6)993--1016, 29(1)57--95, 29(1)155--172
-
PSLash, 15(4)406--421
-
Ptolemy, 16(3)210--237
-
Pu, Geguang, 17(4)443--460, 30(2)193--217
-
Pu, Geguang, see He, Jifeng, \see{Li, Jianwen
-
Publication, 16(1)4--4
-
Pucella, Riccardo, 17(3)277--318
-
Pucella, Riccardo, see Gordon, Andrew D.
-
Puebla, Germán, 27(4)665--699, see Albert, Elvira
-
pump, 26(5)1033--1076
-
Pure, 10(3)233--242, 31(6)699--732
-
purity, 22(3)363--384
-
purpose, 23(1)133--150
-
purse, 20(1)5--19, 20(1)21--39, 20(1)41--59, 20(1)101--116
-
PuRSUE, 32(2)187--227
-
push-button, 23(5)607--626
-
pushdown, 27(2)397--421
-
Putput, K-, 31(5)611--640, 32(1)153--153
-
Putter, Sander de, 30(1)3--43
-
PVS, 17(3)342--388, 18(4)433--458, 25(6)993--1016, 30(3)351--380
-
Pym, David, 18(4)495--517, 19(4)551--554, 22(2)83--104, 22(3)483--484
-
Pym, David, see Collinson, Matthew
-
Pym:2006:CLR, 18(4)495--517, 19(4)551--554