Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
C
-
C, 28(6)1027--1056, 29(6)933--933
-
C, Frama-, 27(3)573--609
-
C, Handel-, 23(2)153--170
-
CA, 26(3)537--561
-
Cabot, Jordi, 33(6)1037--1037
-
Cabot:2021:E, 33(6)1037--1037
-
Cache, 11(5)475--497
-
CADP, 28(1)145--178, 28(5)767--804
-
CafeOBJ, 29(2)309--334
-
Caillaud, Benoît, 13(6)447--470,
see Badouel, Éric
-
Calculate, 4_1S_673_692
-
calculational, 9(5)469--483
-
Calculator, 11(3)244--271
-
calculi, 20(4)351--377, 29(5)805--832
-
calculus, 1(1)242--272, 2(1)1--23, 4(5)425--441, 5(3)224--252,
6_1S_788_800, 6_1S_826_845, 7(1)54--76, 8(3)247--293,
8(4)479--489, 9(1)1--48, 9(3)283--330, 9(5)484--517, 10(3)267--289,
11(1)21--44, 11(1)75--105, 11(2)160--199, 14(2)123--197,
15(1)84--99, 15(2)280--295, 16(1)51--79, 16(2)121--139,
16(2)140--154, 18(2)152--180, 18(4)495--517, 20(4)429--450,
20(4)481--505, 24(4)537--554, 24(4)701--726, 25(5)801--832,
26(5)865--918, 27(5)885--916, 29(3)401--421, 33(2)207--249,
33(3)457--458
-
calculus, meta-, 5(5)391--431
-
calculus, pi-, 25(5)723--742
-
Calder, M., 14(3)247--266
-
Calder, Muffy, 26(3)537--561
-
Calder:2003:USA, 14(3)247--266
-
Calder:2014:MIC, 26(3)537--561
-
Calinescu, Radu, 33(4)763--802
-
Calinescu, Radu, see Gleirscher, Mario
-
call, 7(6)652--662, 18(4)397--420, 32(4)395--416
-
callbacks, 18(4)397--420
-
Calude, Crustian, 1(1)293--301
-
Calude, Crustian, see Cooke, John
-
Cameo, 21(4)363--391
-
Camera, 32(4)417--437
-
Campos, José C., 12(4)260--277, see Doherty, Gavin J.
-
Can, Aysu, Betin-, 19(2)243--268
-
Cansell, Dominique, 14(3)215--227
-
Cansell, Dominique, see Abrial, Jean-Raymond
-
CaPiTo, 23(4)541--565
-
capture, 21(6)513--539
-
Capture-avoiding, 20(4)451--479
-
Carbone, Marco, 28(4)529--530
-
Carbone:2016:E, 28(4)529--530
-
Cardell-Oliver, Rachel, 12(5)350--371
-
Cardell-Oliver:2000:CTR, 12(5)350--371
-
Carmo, José, 2(1)24--59
-
Carmo:1990:BVL, 2(1)24--59
-
Carr, C. T., 16(1)80--94
-
Carr:2004:IUV, 16(1)80--94
-
Carrington, David, 15(2)258--279, 21(5)397--420
-
Carrington, David, see Kim, Soon-Kyeong,
see Wildman, Luke
-
carrying, Code-, 19(2)191--203
-
Cars, 33(3)325--341
-
Carvalho, Gustavo, 28(5)725--765
-
Carvalho:2016:MTR, 28(5)725--765
-
case, 4(1)76--99, 9(1)98--118, 10(4)338--360, 10(5)483--508,
11(2)107--131, 12(4)218--219, 13(1)50--91, 14(3)200--214,
18(3)308--328, 19(1)63--91, 22(2)193--213, 23(3)307--332,
26(3)441--490, 26(5)1033--1076, 27(5)917--949, 30(2)239--277,
30(2)319--332, 31(2)261--285, 33(6)855--884, 33(6)1249--1277
-
case-study, 7(2)150--168
-
Cash, 12(4)216--217
-
Cash-Point, 12(4)211--215, 12(4)218--219, 12(4)220--221, 12(4)222--224,
12(4)231--232
-
CASL, 13(3)252--273
-
Cassel, Sofia, 28(2)233--263
-
Cassel:2016:ALE, 28(2)233--263
-
Cassez, Franck, 11(4)448--471
-
Cassez, Franck, see Roux, Olivier
-
Castagna, Giuseppe, 8(3)247--293
-
Castagna:1996:IPA, 8(3)247--293
-
Castellani, I., 6(2)165--200
-
Castellani, I., see Boudol, G.
-
Castellani, Ilaria, 28(4)669--696
-
Castellani:2016:SAS, 28(4)669--696
-
Castillos, Kalou Cabrera, 27(4)641--664
-
Castillos, Kalou Cabrera, see Taha, Safouan
-
Castro, Pablo F., 27(5)831--865, 29(6)1013--1050
-
Castro, Pablo F., see Demasi, Ramiro
-
Castro:2015:CFS, 27(5)831--865
-
Caswell, M. J. A., 9(1)68--77
-
Caswell:1997:EFS, 9(1)68--77
-
categorical, 5(4)337--366, 27(5)831--865
-
categorically, 4_1S_673_692
-
Category-theoretic, 5(4)337--366
-
Cattani, Stefano, 17(2)138--159
-
Cattani:2005:RBP, 17(2)138--159
-
Cau, Antonio, 12(1)52--70
-
Cau:2000:CRD, 12(1)52--70
-
causally, 18(1)63--83
-
Cavalcanti, Ana, 10(3)267--289, 15(1)28--47, 15(2)146--181,
18(3)288--307, 20(4)349--350, 21(1)3--32, 22(2)153--191,
22(5)489--535, 23(4)465--512, 23(6)681--681, 24(1)127--160,
25(1)37--57, 25(1)133--158, 26(2)367--405, 26(4)795--823,
27(2)423--472, 28(5)725--765, 31(2)131--132, 32(2)155--155,
33(1)1--2
-
Cavalcanti, Ana, see Barkaoui, Kamel,
see Carvalho, Gustavo, \see{Duran, Adolfo,
see Gnesi, Stefania,
see Miyazawa, Alvaro,
see Oliveira, Marcel, \see{Sherif, Adnan,
see Vink, Erik de, \see{Zeyda, Frank
-
Cavalcanti:1998:ZRC, 10(3)267--289
-
Cavalcanti:2003:RSC, 15(2)146--181
-
Cavalcanti:2006:ANU, 18(3)288--307
-
Cavalcanti:2011:CLD, 23(4)465--512
-
Cavalcanti:2011:E, 23(6)681--681
-
Cavalcanti:2013:SCJ, 25(1)37--57
-
Cavalcanti:2014:TDG, 26(4)795--823
-
Cavalcanti:2020:E, 32(2)155--155
-
Cavarra, Alessandra, 23(1)21--41
-
Cavarra:2011:DFA, 23(1)21--41
-
Cavezza, Davide G., 33(1)27--63
-
Cavezza:2021:WMG, 33(1)27--63
-
CCP, 16(3)292--312
-
CCS, 1(1)273--292, 8(2)162--187, 8(2)238--244
-
CCS-based, 5(5)467--479
-
Cederbaum, M., Majster-, 18(2)211--230
-
Cederbaum, Mila, Majster-, 9(4)425--445
-
Celebrating, 13(3)187--193
-
Cell, 32(2)229--250
-
centred, service-, 26(5)865--918
-
centric, communication-, 28(4)531--566
-
centric, data-, 28(4)615--641
-
Cerone, Antonio, 20(4)349--350, 21(6)511--512, 21(6)571--588
-
Cerone, Antonio, see Barkaoui, Kamel,
see Basuki, Thomas Anung
-
Cerone:2009:E, 21(6)511--512
-
certifiably, 30(1)107--131
-
certificates, 33(3)437--455
-
certification, 20(1)5--19
-
certified, 22(2)193--213
-
Certifying, 16(4)352--373
-
Cervantes, Abel, Armas-, 28(4)597--613
-
Ceska, Milan, 33(4)637--667
-
{\v{C}}e{\v{s}}ka, Milan, 19(3)363--374
-
Ceska:2007:GMP, 19(3)363--374
-
Ceska:2021:CGI, 33(4)637--667
-
chain, 2(1)207--225
-
Chaki, Sagar, 17(4)461--483
-
Chaki:2005:CSV, 17(4)461--483
-
Chalice, 24(4)519--535
-
Chalin, Patrice, 19(2)139--158, 23(3)307--332
-
Chalin, Patrice, see Sinnig, Daniel
-
Chalin:2007:LFV, 19(2)139--158
-
challenge, 19(2)159--189, 19(2)269--272, 23(5)607--626
-
CHAM, 7(3)314--328
-
Chan, Wen-Chin, 21(3)259--275
-
Chan, Wen-Chin, see Tsay, Yih-Kuen
-
Chandy, K. Mani, 6(6)607--619, 23(5)649--679
-
Chandy:1994:PCP, 6(6)607--619
-
Chandy:2011:VDS, 23(5)649--679
-
Chane-Yack-Fa, Raphaël, 30(3)463--489
-
Chane-Yack-Fa:2018:PVM, 30(3)463--489
-
Chang, Jinn-Shu, 21(3)259--275
-
Chang, Jinn-Shu, see Tsay, Yih-Kuen
-
Changing, 11(1)1--20
-
channel, 24(4)595--607, 27(1)33--52, 31(4)411--419, 33(4)803--826
-
Channels, 12(6)485--500
-
Chaochen, Zhou, 9(3)283--330, 11(1)21--44
-
Chaochen, Zhou, see Hansen, Michael R.,
see Hung, Dang Van
-
Chapman, N. P., 2(1)359--392
-
Chapman:1990:DAI, 2(1)359--392
-
characterisation, 4_1S_612_637
-
Characterisations, 24(4)701--726
-
characterization, 25(2)257--288
-
Charlton, Nathaniel, 19(3)375--399
-
Charlton:2007:PVI, 19(3)375--399
-
charts, 26(2)367--405
-
Chatterjee, Krishnendu, 26(4)825--859
-
Chatterjee:2014:AGS, 26(4)825--859
-
Chaudhari, Dipak L., 29(3)495--530
-
Chaudhari:2017:APT, 29(3)495--530
-
Chawdhary, Aziem, 29(1)33--55
-
Chawdhary:2017:PES, 29(1)33--55
-
Chechik, M., 30(1)133--162
-
Chechik, M., see Strüber, D.
-
Chechik, Marsha, 14(4)342--368, 31(5)459--502
-
Chechik, Marsha, see Menghi, Claudio,
see Paun, Dimitrie O.
-
checked, 4_1S_755_775, 17(1)19--37
-
checker, 4(3)299--319, 18(3)264--287, 23(1)43--71, 28(2)295--323,
29(2)365--379, 33(6)957--987
-
checker, Model-, 11(6)637--664
-
checking, 10(4)361--380, 10(5)469--482, 14(3)295--318, 16(2)104--120,
16(3)166--193, 17(2)160--176, 17(2)201--221, 18(1)84--101,
19(3)277--302, 20(1)101--116, 20(4)481--505, 21(1)155--186,
22(6)667--679, 23(3)365--389, 23(5)589--606, 24(2)249--266,
25(1)3--35, 25(3)365--388, 27(2)397--421, 27(5)789--804,
27(5)975--1001, 28(3)345--379, 28(4)615--641, 28(6)1027--1056,
29(3)383--399, 29(5)911--931, 30(1)45--75, 30(2)193--217,
31(4)455--456, 33(1)87--125, 33(6)885--921, 33(6)1147--1172
-
checking, Model-, 6_1S_826_845, 16(2)121--139, 21(6)571--588,
25(2)289--318
-
checking, model-, 24(2)187--216, 25(2)219--256
-
checking-based, 23(5)627--648
-
checks, 20(1)21--39
-
Cheikhrouhou, Lassaad, 11(3)326--342
-
Cheikhrouhou, Lassaad, see Siekmann, Jörg
-
chemical, 7(3)314--328, 25(5)723--742
-
chemistry, 7(3)314--328
-
Chen, Chunqing, 21(5)451--483
-
Chen, Shanyan, 32(4)417--437
-
Chen, Xiaoping, 33(3)299--300
-
Chen, Yifeng, 14(2)108--122, 25(1)89--106
-
Chen, Yu-Fang, 21(3)259--275
-
Chen, Yu-Fang, see Tsay, Yih-Kuen
-
Chen:2002:GC, 14(2)108--122
-
Chen:2009:FFM, 21(5)451--483
-
Chen:2013:SIU, 25(1)89--106
-
Chen:2020:FCP, 32(4)417--437
-
Chen:2021:E, 33(3)299--300
-
Cheng, Shu, 27(1)167--192
-
Cheng:2015:UFR, 27(1)167--192
-
Cherkasova, Ludmila, 4(6)572--581
-
Cherkasova, Ludmila, see Best, Eike
-
Chevrou, Florent, 28(5)847--879
-
Chevrou:2016:DAC, 28(5)847--879
-
Chin, Wei-Ngan, 21(5)495--510, 31(2)207--230
-
Chin, Wei-Ngan, see Masalagiu, Cristian,
see Ta, Quang-Trung
-
chip, 20(3)241--258
-
Chisholm, Paul, 1(1)19--84
-
Chisholm, Paul, see Backhouse, Roland
-
Choi, Yunja, 24(3)355--374
-
Choi, Yunja, see Kim, Moonzoo
-
choice, 4(6)572--581, 9(5)518--536, 24(4)555--567, 25(1)107--131
-
Choppy, Christine, 28(5)805--845
-
Choppy, Christine, see André, Étienne
-
Christiansen, Henning, 29(1)57--95
-
Christiansen:2017:PCM, 29(1)57--95
-
Chrszon, Philipp, 30(1)45--75
-
Chrszon:2018:PFO, 30(1)45--75
-
Ciancaglini, Mariangiola, Dezani-, 28(4)669--696, 28(4)697--722
-
CICS, 6(5)569--579
-
Cimatti, A., 10(4)361--380
-
Cimatti, Alessandro, 31(1)59--94, 33(2)251--295
-
Cimatti, Alessandro, see Bozzano, Marco
-
Cimatti:1998:FVR, 10(4)361--380
-
Ciobâca, Stefan, 28(3)469--497
-
Ciobaca:2016:LIP, 28(3)469--497
-
Ciobanu, Gabriel, 27(3)525--549
-
Ciobanu:2015:SBS, 27(3)525--549
-
circuit, 4_1S_755_775, 4(2)149--194, 9(4)395--408, 9(5)537--559,
16(4)352--373, 25(4)573--607, 25(4)609--657, 31(3)321--351
-
circular, 27(4)701--726, 30(5)571--595
-
Circus, 15(2)146--181, 21(1)3--32, 23(4)465--512
-
Clarification, 11(4)472--473
-
Clark, John, 20(1)5--19
-
Clark, John, see Woodcock, Jim
-
Clark, T., 27(1)193--235
-
Clark, T., see Lano, Kevin
-
Clarke, 31(4)455--456
-
Clarke, Edmund, 17(4)461--483
-
Clarke, Edmund, see Chaki, Sagar
-
class, 4(2)149--194, 6(4)391--416, 7(3)289--313, 12(1)18--40,
20(2)225--238, 26(3)491--535, 29(2)335--364
-
classification, 23(3)333--363
-
classroom, 21(3)277--291
-
clause, 29(3)453--474
-
Clayton, Phil, 23(4)465--512
-
Clayton, Phil, see Cavalcanti, Ana
-
Cleaveland, Rance, 5(1)1--20
-
Cleaveland:1993:TEB, 5(1)1--20
-
client, 22(5)547--583
-
clientash, 28(4)697--722
-
Clint, M., 16(1)36--50
-
Clint, M., see Stewart, A.
-
clock, 8(3)294--323, 19(3)321--341
-
clocked, 9(5)537--559, 25(4)609--657
-
closed, 17(2)222--257
-
Closure, 14(4)342--368
-
closures, 2(1)207--225, 8(4)463--478
-
cloud, 28(4)567--595, 32(4)361--393
-
CML, 27(5)975--1001
-
co-invariant, 8(1)108--126
-
co-logic, 29(3)401--421
-
Co-operating, 10(4)381--404
-
code, 12(1)1--17, 22(2)193--213, 22(3)345--361, 23(5)589--606,
24(3)375--391, 24(4)519--535, 28(6)1027--1056, 30(6)685--711,
33(3)301--323
-
Code-carrying, 19(2)191--203
-
Codish, Michael, 29(3)559--579
-
Codish:2017:OSA, 29(3)559--579
-
Coenen, J., 7(1)91--105
-
Coenen:1995:HLV, 7(1)91--105
-
cognitive, 11(2)132--159, 11(6)665--689, 12(4)237--259, 21(6)541--569
-
Coherency, 11(5)475--497
-
Coinduction, 31(6)733--749
-
colimits, 2(1)301--311
-
Collaborative, 31(4)453--454, 32(2)157--186
-
Collection, 13(3)187--193
-
collector, 6(4)359--390, 31(3)353--374
-
Collinson, Matthew, 19(4)551--554, 22(2)83--104, 22(3)483--484
-
Collinson:2007:EBA, 18(4)495--517, 19(4)551--554
-
Collinson:2010:ALA, 22(2)83--104, 22(3)483--484
-
Collinson:2010:EAL, 22(2)83--104, 22(3)483--484
-
coloured, 20(2)225--238, 28(5)805--845
-
Colvin, Robert, 21(1)187--223
-
Colvin, Robert, see Groves, Lindsay
-
Colvin, Robert J., 26(3)491--535, 27(3)475--497, 29(5)853--875,
31(2)133--163, 32(1)1--32
-
Colvin, Robert J., see Hayes, Ian J.,
see Jones, Cliff B., \see{Smith, Graeme
-
Colvin:2014:OSO, 26(3)491--535
-
Colvin:2017:DSM, 29(5)853--875
-
Combemale, Benoit, 28(3)409--440
-
Combemale, Benoit, see Hamiaz, Mounira Kezadri
-
combination, 9(5)518--536, 16(2)96--103, 19(3)321--341
-
combinational, 25(4)573--607
-
combinator, one-, 4_1S_776_780
-
combinators, 23(2)221--238
-
Combining, 6(2)115--164, 12(3)182--198, 13(2)111--127, 26(5)1033--1076
-
comedy, 6_1S_766_787
-
Comini, Marco, 29(3)531--557
-
Comini:2017:PAF, 29(3)531--557
-
command, 2(1)60--104, 25(3)389--403
-
comment, 7(1)3--17
-
commitment, 8(2)127--161
-
communicating, 3(4)346--366, 5(5)432--466, 8(2)127--161, 9(2)119--148,
9(5)537--559, 13(6)431--446, 16(3)238--262, 17(4)390--422,
18(2)181--210, 20(3)277--294, 20(6)563--595, 26(6)1169--1204,
30(3)351--380, 33(2)297--298
-
communication, 2(1)359--392, 6(1)60--91, 7(2)113--149, 10(2)160--170,
12(6)485--500, 17(1)1--18, 25(6)893--931, 28(5)847--879,
32(1)71--111
-
communication-centric, 28(4)531--566
-
communications, 6(1)92--112, 14(1)2--34, 20(3)241--258, 28(4)669--696
-
compact, 33(1)65--86
-
companion, 30(6)761--762
-
comparative, 4(1)76--99, 14(3)328--337, 19(1)63--91
-
Comparing, 16(2)104--120
-
comparison, 7(3)231--265, 13(2)161--186, 21(3)293--301, 27(2)239--253,
29(2)251--307, 30(1)163--192, 30(5)597--625
-
Compensation, 26(4)623--676
-
compilation, 9(5)537--559, 18(2)120--142, 18(2)152--180, 29(1)125--153
-
compiled, 24(3)375--391
-
compiler, 3(1)58--101, 6(6)643--658, 8(2)209--237, 12(2)71--99,
18(2)143--151, 19(2)139--158, 22(5)489--535
-
complete, 4_1S_638_648, 5(4)367--382, 16(4)374--386, 17(2)113--137,
22(3)363--384, 28(1)65--78, 29(2)335--364, 33(4)547--573
-
complete, -, 4_1S_638_648
-
completeness, 6(1)39--59, 16(2)96--103, 29(1)155--172
-
completions, equivalence-, 4(6)582--591
-
complex, 33(3)301--323
-
complexity, 28(2)325--341, 29(5)833--852
-
Compliant, 33(6)1115--1145
-
component, 12(1)1--17, 13(2)111--127, 16(4)394--411, 21(6)571--588,
26(3)591--621, 28(1)1--20, 28(4)567--595, 28(6)937--1004
-
component, multi-, 31(4)421--451
-
component-based, 28(1)21--43, 28(6)937--1004, 29(6)951--986,
29(6)987--1011
-
Component-wise, 28(3)345--379
-
composability, 28(2)207--231
-
Composing, 12(1)52--70
-
composite, 32(4)361--393
-
composition, 6(3)250--268, 7(6)683--703, 12(1)41--51, 14(2)108--122,
15(4)349--369, 16(1)5--18, 24(2)187--216, 25(4)503--541,
28(3)409--440
-
compositional, 4(6)572--581, 7(4)440--468, 8(3)294--323, 8(5)607--616,
13(2)161--186, 15(2)103--117, 17(1)58--68, 20(4)429--450,
23(6)711--737, 24(1)3--26, 27(3)551--572, 27(4)641--664,
29(4)751--775, 33(6)989--1007
-
compositionally, 16(3)292--312
-
Comprehensive, 33(6)1067--1114
-
Computable, 8(6)648--678
-
computation, 6(1)1--38, 9(3)331--348, 18(2)231--243, 18(2)244--262,
25(1)107--131, 26(4)729--759, 28(6)1005--1026, 30(3)443--462,
31(1)27--46
-
computer, 1(1)5--18, 11(6)665--689, 13(3)187--193, 17(1)19--37,
19(4)513--550, 21(5)393--395, 25(2)159--187, 29(6)933--933
-
computer-based, 19(2)225--241
-
Computerized, 10(4)338--360
-
computing, 3(4)367--376, 11(1)56--74, 12(3)145--146, 19(4)551--554,
28(3)381--407
-
concepts, 2(1)247--272, 9(3)229--269, 21(5)397--420, 26(3)491--535
-
Concerned, 26(6)1205--1229
-
Concise, 32(1)147--148
-
Concolic, 24(3)355--374
-
Concrete, 30(3)491--492
-
concurrency, 1(1)213--228, 6(5)471--494, 8(6)706--715, 15(2)118--145,
21(4)305--318, 21(4)319--346, 21(4)363--391, 27(3)475--497,
28(6)1057--1078, 29(4)705--750, 29(5)853--875, 30(2)239--277,
31(2)133--163
-
Concurrency-preserving, 29(6)951--986
-
concurrent, 1(1)303--319, 2(1)226--246, 4_1S_597_611, 4(3)239--272,
6(6)607--619, 6(6)676--695, 6(6)696--715, 7(1)18--36, 7(3)231--265,
7(3)266--288, 9(2)149--174, 9(2)175--207, 12(2)100--119,
15(2)182--214, 17(1)58--68, 17(4)461--483, 19(2)243--268,
20(2)141--160, 21(1)65--102, 23(3)289--306, 23(6)781--805,
24(4)647--660, 26(2)281--303, 26(2)407--432, 27(5)753--788,
28(2)325--341, 28(5)805--845, 29(5)833--852, 30(1)163--192,
31(3)353--374, 31(3)375--409, 33(4)547--573
-
Conditional, 7(6)683--703
-
Conditions, 13(6)431--446
-
confidentiality, 26(1)3--36, 26(5)963--992
-
configuration, 5(2)91--120, 22(3)459--482, 27(4)665--699
-
Configured, 13(1)32--49
-
confluence, 29(1)57--95
-
conformance, 3(2)129--141, 12(5)350--371, 12(6)423--442, 23(5)589--606,
28(3)499--527
-
Congress, 12(3)145--146
-
conjunctive, 11(1)75--105, 29(1)125--153
-
connection, 9(4)425--445
-
conquer, divide-and-, 7(6)663--682
-
consequence, 19(4)551--554
-
conservative, 5(3)208--223
-
consideration, 8(6)716--736
-
consistency, 8(3)369--375, 19(3)277--302, 28(2)181--206,
33(6)1067--1114, 33(6)1115--1145
-
Consistency-preserving, 31(3)287--320
-
consistent, 18(1)63--83, 22(3)327--344
-
constants, 2(1)342--358
-
constrained, Duration-, 16(2)155--163
-
constraint, 8(4)428--462, 15(4)319--348, 22(2)129--151, 22(3)385--422,
25(2)319--341, 25(6)847--891, 29(1)57--95, 29(1)97--124,
29(3)475--494
-
Constraint-based, 24(4)569--594
-
construct, 23(1)73--89
-
Constructing, 18(1)84--101, 25(5)723--742
-
construction, 4_1S_776_780, 4(5)425--441, 9(1)1--48, 9(5)484--517,
16(4)387--393, 19(2)225--241, 20(2)225--238, 23(2)191--219,
28(2)265--293, 30(2)193--217
-
construction, Correct-by-, 28(3)409--440
-
constructive, 1(1)173--192
-
container, 30(5)495--523
-
Content, 15(4)422--422
-
Contention, 14(3)295--318, 14(3)328--337
-
context, 3(4)326--345, 23(3)365--389, 27(5)885--916
-
context-dependent, 24(2)267--302
-
Continuation, 11(4)426--447
-
continuous, 11(1)21--44, 24(2)163--186, 26(2)319--366
-
continuousash, 26(2)319--366
-
contract, 21(4)305--318, 21(4)319--346, 26(4)825--859, 27(4)613--640
-
Contract-based, 28(1)79--107
-
contractually, 9(4)349--358
-
Contribution, 13(3)187--193
-
control, 4_1S_727_754, 21(4)347--362, 22(2)83--104, 22(3)483--484,
23(2)191--219, 23(4)465--512, 26(2)319--366, 26(4)795--823,
28(1)21--43
-
control-flow, 18(1)42--62
-
controllable, non-, 20(6)597--617
-
controller, 17(2)177--200, 29(4)583--600, 31(5)459--502, 32(2)157--186,
32(2)187--227, 33(1)3--25, 33(3)437--455
-
Conventions, 14(2)99--107
-
Convergence, 6(6)696--715
-
conversations, 28(4)643--667, 29(5)877--910
-
conversion, 20(2)205--224
-
converters, 8(2)209--237
-
convex, 17(2)222--257
-
Cook, A., 17(1)38--57
-
Cook, Byron, 25(3)389--403
-
Cook, Byron, see Babi{\'c}, Domagoj
-
Cook, S. J., 1(1)147--171
-
Cook, S. J., see Burton, C. T.
-
Cook:2005:DAH, 17(1)38--57
-
Cooke, D. J., 1(1)145--146, 16(1)4--4
-
Cooke, D. J., see Jones, C. B.
-
Cooke, J., 19(2)137--138
-
Cooke, John, 1(1)293--301, 3(4)313--314, 4_1S_595_596, 5(5)389--390,
6(6)585--585, 7(2)111--112, 9(5)447--447, 13(2)93--93, 14(1)1--1,
14(3)199--199, 16(1)1--1, 17(3)259--259, 19(1)1--1
-
Cooke, John, see Jones, Cliff
-
Cooke:1989:BR, 1(1)293--301
-
Cooke:1989:E, 1(1)145--146
-
Cooke:1991:E, 3(4)313--314
-
Cooke:1994:E, 6(6)585--585
-
Cooke:1995:E, 7(2)111--112
-
Cooke:1997:E, 9(5)447--447
-
Cooke:2002:Ea, 13(2)93--93
-
Cooke:2002:Eb, 14(1)1--1
-
Cooke:2003:E, 14(3)199--199
-
Cooke:2005:E, 17(3)259--259
-
Cooke:2007:E, 19(1)1--1
-
Cooke:2007:EVS, 19(2)137--138
-
Cooper, David, 3(1)58--101, 20(1)5--19
-
Cooper, David, see Stepney, Susan,
see Woodcock, Jim
-
Cooperating, 12(6)459--472
-
Copeland, 29(6)1121--1122
-
Copet, Piergiuseppe Bettassa, 30(2)279--317
-
Copet, Piergiuseppe Bettassa, see Sisto, Riccardo
-
Coq, 20(3)259--275
-
Coquand, 4(5)425--441
-
Cordy, Maxime, 33(6)1147--1172
-
Cordy:2021:SMC, 33(6)1147--1172
-
coroutines, 29(1)125--153
-
Corradini, Andrea, 31(4)421--451
-
Corradini, Andrea, see Brogi, Antonio
-
Correas, Jesús, 27(4)665--699, see Albert, Elvira
-
correct, 3(1)58--101, 6(4)417--439, 12(1)18--40, 26(5)993--1031
-
correct, Provably-, 18(2)120--142
-
Correct-by-construction, 28(3)409--440
-
correcting, 31(4)411--419
-
correction, 31(5)611--640, 32(1)153--153
-
correctness, 3(3)253--283, 4_1S_727_754, 8(4)428--462, 9(2)119--148,
11(5)475--497, 12(4)298--312, 18(2)231--243, 18(2)244--262,
20(6)637--662, 22(3)459--482, 22(5)611--627, 24(4)569--594,
25(6)833--846, 28(2)325--341, 33(4)547--573, 33(6)1039--1066
-
Corrodi, Claudio, 30(1)163--192
-
Corrodi:2018:SCW, 30(1)163--192
-
Cost, 29(4)629--649
-
Costa, J. F., 7(1)18--36
-
Costa:1995:PAC, 7(1)18--36
-
costs, 31(4)421--451
-
Counterexample-guided, 33(4)637--667
-
Coupet-Grimal, Solange, 16(4)352--373
-
Coupet-Grimal:2004:CCT, 16(4)352--373
-
Coupling, 33(6)989--1007
-
courses, 21(3)245--257
-
coverage, 26(4)795--823
-
Cowling, Anthony J., 12(6)485--500
-
Cowling:2000:SWU, 12(6)485--500
-
Crichton, Charles, 15(2)118--145
-
Crichton, Charles, see Davies, Jim
-
criteria, 18(1)42--62, 23(1)3--19
-
criterion, 4(3)273--298
-
Critical, Safety-, 25(1)37--57
-
critical, safety-, 33(3)343--384
-
Critics, 11(3)302--325
-
CRL, 10(5)509--531, 17(3)342--388
-
Cruz, Daniela da, 24(2)217--248
-
Cruz, Daniela da, see Barros, José Bernardo
-
Cruz-Filipe, Luís, 26(5)865--918, 29(3)559--579,
see Codish, Michael
-
Cruz-Filipe:2014:SBS, 26(5)865--918
-
cryptographic, 19(3)343--362, 20(3)303--348, 22(5)585--609, 26(1)37--62
-
CSMAash, 26(3)537--561
-
CSP, 8(6)617--647, 12(3)165--181, 12(3)182--198, 13(2)111--127,
15(1)1--27, 17(2)93--112, 17(4)390--422, 19(3)277--302,
19(4)487--512, 21(5)421--449, 25(1)3--35, 25(2)219--256,
26(1)63--98, 32(1)113--145
-
CSP\#, 26(5)943--962
-
CSP, UTP-, 33(4)803--826
-
CSP--OZ, 12(3)147--164
-
csp2B, 12(3)182--198
-
CtCoq, 11(3)225--243
-
CTL*, 23(6)739--779
-
CTML, 30(3)443--462
-
CTS, 26(3)537--561, 27(1)33--52
-
Curzon, Paul, 19(4)513--550, 21(6)511--512, 21(6)541--569,
26(5)1033--1076
-
Curzon, Paul, see Cerone, Antonio,
see Ruksenas, Rimvydas,
see Ruk{\v{s}}{\.e}nas, Rimvydas
-
Curzon:2007:AFV, 19(4)513--550
-
Cusack, Elspeth, 3(2)129--141
-
Cusack:1991:RCI, 3(2)129--141
-
custom, 30(6)659--684
-
cut, 24(2)249--266, 29(1)155--172, 30(1)107--131
-
cyber-physical, 32(1)149--151
-
cyclic, 9(1)78--97, 24(4)609--621, 27(5)917--949