Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
M
-
M, 31(4)455--456
-
Ma, Qian, 27(1)103--131
-
Ma:2015:VDS, 27(1)103--131
-
Macedo, Hugo Daniel, 27(2)283--307
-
Macedo:2015:LAA, 27(2)283--307
-
Machado, Patrícia D. L., 24(3)331--353,
see Andrade, Wilkerson L.
-
machine, 2(1)331--341, 3(3)284--307, 4_1S_755_775, 4(4)341--375,
7(3)314--328, 12(2)71--99, 12(4)233--236, 17(4)390--422,
24(4)595--607, 28(2)233--263, 28(5)805--845, 29(1)97--124,
30(2)319--332, 33(3)301--323, 33(4)763--802
-
Machine, X-, 12(6)423--442, 12(6)485--500
-
machine, X-, 13(6)431--446, 16(4)374--386, 20(6)597--617,
28(1)1--20
-
Machines, X-, 12(6)443--458, 12(6)459--472, 12(6)473--484
-
Machines?, X-, 12(6)418--422
-
machines, X-, 2(1)331--341, 18(1)3--30
-
Macintosh\TM, 1(1)147--171
-
Maclean, Ewen, 31(1)95--129
-
Maclean, Ewen, see Lin, Yuhui
-
MacQueen, David, 13(3)214--232
-
MacQueen:2002:SMO, 13(3)214--232
-
Madeira, Alexandre, 27(2)375--395, 33(6)1209--1248
-
Madeira, Alexandre, see Hennicker, Rolf
-
Madeira:2015:RHI, 27(2)375--395
-
Magee, Jeff, 22(6)681--711
-
Magee, Jeff, see Lang, Frédéric
-
Maggiolo-Schettini, Andrea, 19(1)93--109, 20(4)351--377
-
Maggiolo-Schettini, Andrea, see Barbuti, Roberto,
see Lanotte, Ruggero
-
Maharaj, Savi, 14(3)199--199, 14(3)200--214
-
Maharaj, Savi, see Cooke, John
-
Maharaj:2003:ITI, 14(3)200--214
-
Mahmoud, Mohamed Yousri, 31(3)321--351
-
Mahmoud, Mohamed Yousri, see Beillahi, Sidi Mohamed
-
Mahony, Brendan, 13(2)142--160
-
Mahony, Brendan P., 7(3)329--347, 11(1)75--105
-
Mahony, Brendan P., see Hayes, Ian J.
-
Mahony:1999:LCR, 11(1)75--105
-
Mahony:2002:DSL, 13(2)142--160
-
Maibaum, T., 4(3)239--272, 24(2)161--162
-
Maibaum, T., see Fiadeiro, J. L.,
see Fiadeiro, J.
-
Maibaum, T. S. E., 27(5)831--865
-
Maibaum, T. S. E., see Castro, Pablo F.
-
Maibaum, Thomas S. E., 29(6)1013--1050
-
Maibaum, Thomas S. E., see Demasi, Ramiro
-
mail, 5(5)467--479
-
maintenance, 5(1)21--60
-
Majster-Cederbaum, M., 18(2)211--230
-
Majster-Cederbaum, M., see Fecher, H.
-
Majster-Cederbaum, Mila, 9(4)425--445
-
Majster-Cederbaum, Mila, see Baier, Christel
-
Majzik, Istvan, 11(6)637--664
-
Majzik, Istvan, see Latella, Diego
-
Majzik, István, 28(3)345--379, see Molnár, Vince
-
Malcolm, Grant, 1(1)19--84
-
Malcolm, Grant, see Backhouse, Roland
-
Malek, Sam, 30(5)525--544
-
Malek, Sam, see Bagheri, Hamid
-
malware, 29(1)33--55
-
Mammar, Amel, 27(2)335--374, 29(6)987--1011, 30(3)463--489
-
Mammar, Amel, see Chane-Yack-Fa, Raphaël,
see Graiet, Mohamed
-
Mammar:2015:PBV, 27(2)335--374
-
management, 17(2)160--176, 33(6)1067--1114, 33(6)1115--1145
-
manager, 1(1)147--171
-
Mancini, Luigi V., 9(2)119--148
-
Mancini, Luigi V., see Koutny, Maciej
-
Mandal, Chittaranjan, 29(2)365--379
-
Mandal, Chittaranjan, see Banerjee, Kunal
-
Mandò, Gianluca, 33(6)957--987, see Basile, Davide
-
maneuvers, 29(4)583--600
-
Manifest, 29(2)175--225
-
manipulating, heap-, 24(4)519--535
-
Manna, 8(4)408--427, 31(6)643--660
-
Manna, Zohar, 12(4)218--219, 20(4)379--405, 20(4)507--560
-
Manna, Zohar, see Bradley, Aaron R.,
see Browne, Anca, \see{Slanina, Matteo
-
Manohar, Rajit, 7(6)683--703
-
Manohar:1995:CC, 7(6)683--703
-
Maoz, Shahar, 33(4)729--761
-
Maoz, Shahar, see Amram, Gal
-
MapReduce, 24(4)623--645
-
Marcel, 31(4)453--454
-
March, 20(3)239--240, 22(5)485--487
-
Marchiori, Elena, 6_1S_743_765
-
Marchiori, Elena, see Apt, Krzysztof R.
-
Marconi, F., 32(1)33--70
-
Marconi, F., see Baresi, L.
-
Marek, 26(5)863--864
-
Marganiec, Stephan, Reiff-, 22(3)243--268
-
Margaria, Tiziana, 23(5)585--588, 23(5)589--606
-
Margaria, Tiziana, see Jörges, Sven,
see Kroening, Daniel
-
Mariño, Julio, 29(1)97--124,
see Arias, Emilio Jesús Gallego
-
mark, 6(1)60--91, 18(4)433--458, 29(6)1121--1122
-
Markey, Nicolas, 24(4)595--607
-
Markey, Nicolas, see Bouyer, Patricia
-
Markov, 29(4)629--649, 33(4)575--615
-
Markovski, J., 24(4)497--518
-
Markovski:2012:RRS, 24(4)497--518
-
Marmsoler, Diego, 31(5)541--610
-
Marmsoler:2019:IVA, 31(5)541--610
-
Marrone, Stefano, 33(6)989--1007
-
Marrone, Stefano, see Flammini, Francesco
-
Martí-Oliet, Narciso, 14(3)228--246,
see Verdejo, Alberto
-
Martin, A. P., 8(4)479--489
-
Martin, Andrew P., 12(3)199--209
-
Martin, Clare, 16(1)19--35
-
Martin, Ursula, 25(3)345--363, 25(6)993--1016
-
Martin, Ursula, see Arthan, Rob,
see Gottliebsen, Hanne
-
Martin-Löf, 3(3)218--252
-
Martin:1996:TCA, 8(4)479--489
-
Martin:2000:RZF, 12(3)199--209
-
Martin:2004:DEG, 16(1)19--35
-
Martini, S., 5(2)91--120
-
Martini, S., see Bucci, A.
-
Martins, Francisco, 26(5)865--918
-
Martins, Francisco, see Cruz-Filipe, Luís
-
Martins, Manuel A., 27(2)375--395
-
Martins, Manuel A., see Madeira, Alexandre
-
Martins, Ruben, 29(5)911--931
-
Martins, Ruben, see Schrammel, Peter
-
Masalagiu, Cristian, 21(5)495--510
-
Masalagiu:2009:RMS, 21(5)495--510
-
Massart, T., 5(1)79--88
-
Massart, Thierry, 17(2)177--200
-
Massart, Thierry, see De Wachter, Bram
-
Massart:1993:EAE, 5(1)79--88
-
Massink, M., 10(4)405--434, 10(5)550--575, 24(2)267--302
-
Massink, M., see Bowman, H.,
see Faconti, G. P.
-
Massink, Mieke, 11(6)637--664
-
Massink, Mieke, see Latella, Diego
-
Massink:2012:SCD, 24(2)267--302
-
Masson, Pierre-Alain, 23(1)3--19
-
Masson, Pierre-Alain, see Julliand, Jacques
-
Mastroeni, Isabella, 29(1)3--31
-
Mastroeni, Isabella, see Giacobazzi, Roberto
-
matching, 2(1)109--122, 19(2)139--158, 25(2)257--288, 29(5)777--803
-
Mateescu, Radu, 28(1)145--178, 28(5)767--804
-
Mateescu, Radu, see Jebali, Fatma,
see Vekris, Dimitris
-
mathematical, 4(5)425--441, 31(5)641--642
-
mathematics, 22(5)629--661
-
Mathijssen, Aad, 20(4)451--479
-
Mathijssen, Aad, see Gabbay, Murdoch J.
-
Mathis, Pascal, 22(2)129--151
-
Mathis:2010:FGC, 22(2)129--151
-
MATLAB-style, 28(1)79--107
-
Matringe, Nadir, 27(5)805--829
-
Matringe, Nadir, see Rebiha, Rachid
-
matrix, 26(5)943--962, 28(1)79--107, 28(6)1005--1026
-
Mattarei, Cristian, 31(1)59--94, 33(2)251--295
-
Mattarei, Cristian, see Bozzano, Marco
-
Matthews, Brian, 8(3)376--378, 10(5)532--549
-
Matthews, Brian, see Bicarregui, Juan
-
Matthews:1996:BR, 8(3)376--378
-
Maude, 29(2)309--334
-
Maung, Ian, 7(6)620--651
-
Maung:1995:SSS, 7(6)620--651
-
maximal, 28(3)381--407, 29(1)3--31
-
maximality, 27(5)951--973
-
Maximally, 12(2)100--119
-
maximum, 5(1)21--60
-
mayash, 24(4)727--748
-
MCash, 18(1)42--62
-
McCarthy, 24(3)305--306
-
McDaid, L. J., 16(1)80--94
-
McDaid, L. J., see Carr, C. T.
-
McGinnity, T. M., 16(1)80--94
-
McGinnity, T. M., see Carr, C. T.
-
McIsaac, A. J., 7(5)581--585
-
McIsaac, A. J., see Mitchell, W. P. R.
-
McIver, A. K., 23(6)711--737, 26(1)169--194
-
McIver, A. K., see Hoang, T. S.
-
McIver, Annabelle, 8(6)617--647, 33(4)459--460
-
McIver, Annabelle, see Morgan, Carroll
-
McIver:2011:CRA, 23(6)711--737
-
McIver:2021:E, 33(4)459--460
-
McKeever, Steve, 18(2)120--142
-
McKeever:2006:PCH, 18(2)120--142
-
McLean, R., 1(1)412--415
-
McLean, R., see Parke, Tom
-
mCRL2, 24(2)187--216
-
MDESL, 32(2)275--314
-
MDFAs, 2-, 18(4)421--431
-
mealy, 28(1)65--78
-
measure, 33(1)27--63
-
measurement, 7(3)329--347, 30(3)443--462
-
mechanical, 9(2)208--226, 9(5)448--468, 17(1)69--90, 25(4)573--607,
25(4)609--657
-
mechanically, 6(1)60--91, 6(4)359--390, 14(3)215--227
-
Mechanised, 24(1)127--160
-
Mechanising, 20(1)117--139
-
mechanism, 10(4)313--337, 16(4)332--351, 32(1)113--145
-
Mechanized, 10(2)171--186, 30(5)597--625
-
Mechanizing, 17(1)58--68
-
Medjkoune, Louiza, Bouallouche-, 27(1)33--52
-
Meertens, Bird-, 7(6)663--682
-
Meertens, Lambert, 4(5)413--424
-
Meertens:1992:P, 4(5)413--424
-
meet, 15(4)297--298, 24(4)459--476
-
MEGA, 11(3)326--342
-
Meier, Andreas, 11(3)326--342
-
Meier, Andreas, see Siekmann, Jörg
-
Meinicke, L., 26(1)169--194
-
Meinicke, L., see Hoang, T. S.
-
Meinicke, Larissa, 22(1)3--31
-
Meinicke, Larissa A., 29(5)853--875, 31(2)133--163
-
Meinicke, Larissa A., see Colvin, Robert J.,
see Hayes, Ian J.
-
Meinicke:2010:RAP, 22(1)3--31
-
Melis, Erica, 11(3)326--342
-
Melis, Erica, see Siekmann, Jörg
-
membranes, 20(4)351--377
-
Memoirs, 13(3)187--193
-
memoriam, 26(2)197--201, 27(2)237--237
-
memory, 8(1)67--85, 25(1)37--57, 25(5)769--799, 32(1)1--32
-
memory, shared-, 31(2)133--163
-
Mendler, Michael, 15(4)297--298, 16(3)165--165
-
Mendler, Michael, see Broy, Manfred
-
Mendling, Jan, 22(3)459--482
-
Mendling, Jan, see Aalst, Wil M. P. van der
-
Menghi, Claudio, 31(5)459--502, 33(6)1039--1066
-
Menghi:2019:VDF, 31(5)459--502
-
Menghi:2021:TWM, 33(6)1039--1066
-
Merino, Pedro, 16(3)166--193
-
Merino, Pedro, see Gallardo, María del Mar
-
Merro, Massimo, 25(5)801--832
-
Merro:2013:CTA, 25(5)801--832
-
Méry, Dominique, 14(3)215--227,
see Abrial, Jean-Raymond
-
Merz, Stephan, 19(3)401--413, 28(3)343--344, 28(5)723--724
-
Merz, Stephan, see Kang, Eun-Young
-
Merz:2016:Ea, 28(3)343--344
-
Merz:2016:Eb, 28(3)343--344
-
Merz:2016:Ec, 28(5)723--724
-
Meseguer, José, 22(3)269--296, 29(3)423--452, 31(5)503--540,
see Boronat, Artur, \see{Liu, Si
-
Meseguer:2017:EFP, 29(3)423--452
-
Message, 7(5)473--509
-
Message-Passing, 13(6)471--492
-
message-passing, 8(4)379--407
-
messaging, 26(4)677--694
-
meta, 22(3)327--344
-
meta-calculus, 5(5)391--431
-
Meta-interpreters, 1(1)193--211
-
metadata, 28(6)937--1004
-
metamodelling, 26(6)1115--1152
-
metastability, 16(4)332--351
-
MetateM, 7(5)533--549
-
method, 1(1)5--18, 1(1)85--114, 5(2)152--176, 7(5)550--575, 7(5)576--580,
9(1)68--77, 9(2)149--174, 9(4)379--394, 10(3)233--242,
10(5)532--549, 11(1)1--20, 12(3)145--146, 14(3)328--337,
15(2)237--257, 16(1)2--3, 17(2)222--257, 17(4)389--389, 18(1)3--30,
20(1)21--39, 20(2)161--204, 21(3)245--257, 26(5)963--992,
27(5)805--829, 31(6)663--674, 32(1)147--148, 32(4)395--416,
33(4)547--573, 33(6)829--854
-
methodology, 4(6)544--571, 9(4)359--378, 13(1)50--91, 16(2)140--154,
21(5)495--510, 26(3)591--621
-
metric, 6(6)696--715, 9(4)425--445, 30(2)219--237
-
Metzner, Alexander, 15(4)390--405
-
Metzner, Alexander, see Fränzle, Martin
-
Meur, Anne-Françoise, Le, 22(3)345--361
-
Meuter, Cédric, 17(2)177--200, see De Wachter, Bram
-
Mexitl, 11(2)132--159
-
Meyden, Ron van der, 24(4)769--792, 29(6)1087--1120
-
Meyden, Ron van der, see Eggert, Sebastian
-
Meyer, Bertrand, 21(4)305--318
-
Meyer, Bertrand, see Nienaltowski, Piotr
-
Meyer, Roland, 20(4)481--505
-
Meyer:2008:MCD, 20(4)481--505
-
Michael, 2(1)299--300, 29(6)933--933, 31(5)641--642
-
Michael, David R., 32(2)251--273
-
Michael, David R., see Williams, David M.
-
Michaelson, G., 17(1)38--57
-
Michaelson, G., see Cook, A.
-
Michaelson, Greg, 31(5)641--642
-
Michaelson:2019:BRB, 31(5)641--642
-
Michel, 23(3)239--242
-
Microprocessors, 12(4)298--312
-
Middelburg, C. A., 1(1)115--135, 4(1)13--47, 19(4)445--474,
23(4)567--583
-
Middelburg, C. A., see Bergstra, J. A.
-
Middelburg:1989:VLS, 1(1)115--135
-
Middelburg:1992:MSV, 4(1)13--47
-
Miguel, Carlos, 5(3)253--281
-
Miguel:1993:LEP, 5(3)253--281
-
Mikhajlova, Anna, 12(1)18--40
-
Mikhajlova, Anna, see Back, Ralph-Johan
-
Milazzo, Paolo, 20(4)351--377
-
Milazzo, Paolo, see Barbuti, Roberto
-
Milestones, 31(6)699--732
-
Milhau, Jérémy, 26(5)919--941, see Frappier, Marc
-
Mili, Ali, 4(6)544--571
-
Mili, Ali, see Boudriga, Noureddine
-
Miller, A., 14(3)247--266
-
Miller, A., see Calder, M.
-
Miller, Alice, 28(6)1027--1056
-
Miller, Alice, see Kirwan, Ryan
-
Miller, Dale, 29(3)383--399
-
Miller:2017:PCL, 29(3)383--399
-
Milner, 22(5)485--487
-
Milner, Hennessy-, 1(1)242--272
-
Milner, Robin, 13(3)327--340, 25(2)257--288
-
Milner, Robin, see Damgaard, Troels C.,
see Leifer, James J.
-
Minamide, Yasuhiko, 6(6)659--675
-
Minamide:1994:SAB, 6(6)659--675
-
Mind, 13(3)422--429
-
Miner, Andrew S., 30(3)443--462
-
Miner, Andrew S., see Jing, Yaping
-
mini, 19(2)269--272
-
Minimal, 11(3)244--271, 19(1)35--62, 19(2)273--273, 19(4)417--444
-
minimisation, 8(5)607--616
-
minimization, 18(4)421--431, 33(4)695--727, 33(6)1147--1172
-
Miranda, 1(1)339--365, 7(4)412--429
-
Misra, Jayadev, 2(1)167--195, 12(2)100--119, 24(4)793--805
-
Misra, Jayadev, see Joshi, Rajeev
-
Misra:1990:ERA, 2(1)167--195
-
Misra:2012:SVS, 24(4)793--805
-
mission-based, 27(2)423--472
-
Mitchell, W. P. R., 7(5)581--585
-
Mitchell:1995:BR, 7(5)581--585
-
Mitra, Sayan, 23(5)649--679
-
Mitra, Sayan, see Chandy, K. Mani
-
Miyazaki, Kunihiko, 19(1)63--91
-
Miyazaki, Kunihiko, see Basin, David
-
Miyazawa, Alvaro, 26(2)367--405
-
Miyazawa:2014:RBV, 26(2)367--405
-
Mizera, Andrzej, 31(1)27--46
-
Mizera:2019:GAS, 31(1)27--46
-
Mizuno, Masaaki, 4_1S_727_754
-
Mizuno:1992:SFC, 4_1S_727_754
-
ML, 4(1)100--142, 5(4)337--366, 13(3)214--232, 13(3)403--421
-
mm, 29(6)1121--1122, 31(4)453--454
-
mobile, 4(6)497--543, 11(6)591--615, 13(1)1--31, 20(4)407--428,
23(5)627--648, 33(2)207--249
-
mobility, 27(3)525--549, 33(4)803--826
-
MOBYash, 12(4)220--221
-
modal, 19(2)273--273, 19(4)417--444
-
model, 2(1)139--166, 4(3)299--319, 6(1)60--91, 7(2)113--149,
7(2)207--225, 7(4)440--468, 8(3)347--368, 9(2)175--207,
10(2)160--170, 10(4)361--380, 10(5)469--482, 12(4)216--217,
12(4)228--230, 12(4)298--312, 13(3)364--385, 14(3)295--318,
16(2)104--120, 16(3)166--193, 17(2)160--176, 17(2)201--221,
17(3)319--341, 17(4)443--460, 18(3)264--287, 19(1)35--62,
19(2)225--241, 19(4)487--512, 20(1)101--116, 20(4)481--505,
20(6)563--595, 21(1)155--186, 21(4)363--391, 21(5)421--449,
22(3)217--241, 22(3)243--268, 22(3)327--344, 22(3)459--482,
23(1)43--71, 23(3)307--332, 23(3)365--389, 23(4)421--432,
23(4)433--463, 23(5)589--606, 23(5)627--648, 23(6)683--709,
24(2)249--266, 24(2)267--302, 25(1)37--57, 25(1)107--131,
25(3)365--388, 25(5)723--742, 26(1)125--167, 26(2)281--303,
26(3)441--490, 26(6)1169--1204, 27(1)167--192, 27(1)193--235,
27(2)309--334, 27(2)397--421, 27(5)789--804, 27(5)917--949,
27(5)975--1001, 28(2)295--323, 28(3)345--379, 28(3)409--440,
28(4)615--641, 28(6)1027--1056, 29(5)853--875, 29(5)911--931,
30(1)45--75, 30(1)133--162, 30(3)333--349, 31(3)287--320,
31(4)455--456, 31(5)611--640, 32(1)1--32, 32(1)153--153,
32(2)157--186, 33(1)87--125, 33(6)885--921, 33(6)957--987,
33(6)1039--1066, 33(6)1147--1172, 33(6)1173--1208, 33(6)1249--1277
-
model, model-to-, 30(1)3--43
-
Model, Multi-, 33(6)1067--1114
-
model-based, 29(2)335--364, 30(1)77--106, 30(5)545--569, 33(2)251--295
-
Model-checker, 11(6)637--664
-
model-checking, 6_1S_826_845, 16(2)121--139, 21(6)571--588,
24(2)187--216, 25(2)219--256, 25(2)289--318
-
Model-driven, 28(3)441--467
-
model-finding, 20(1)21--39
-
model-oriented, 2(1)1--23
-
model-to-model, 30(1)3--43
-
modeling, 15(2)118--145, 17(1)1--18, 20(1)79--100, 21(5)451--483,
26(2)319--366, 26(6)1077--1113, 27(1)33--52, 29(6)1051--1086,
30(6)761--762, 31(3)321--351, 32(1)113--145, 33(2)297--298,
33(3)343--384, 33(6)989--1007
-
modelling, 2(1)301--311, 10(4)313--337, 10(4)405--434, 12(4)220--221,
12(4)225--227, 16(1)80--94, 18(4)397--420, 20(4)351--377,
21(6)513--539, 21(6)541--569, 21(6)613--641, 25(4)503--541,
26(3)537--561, 28(5)725--765, 28(5)767--804, 29(2)251--307,
29(4)751--775
-
modes, 6_1S_743_765
-
modular, 4(1)13--47, 5(4)337--366, 33(1)127--150, 33(2)251--295
-
modularisation, 4(3)239--272
-
Modularising, 4(1)100--142
-
Modulated, 11(5)498--540
-
module, 6(2)223--244
-
modulo, 21(5)485--494, 29(1)57--95
-
MOF, 22(3)269--296
-
Moggi, E., 5(3)282--284
-
Moggi, E., see Roy, Dyckhoff
-
Moha, Naouel, 22(3)345--361
-
Moha:2010:DAS, 22(3)345--361
-
Mohamed, Otmane Ait, 25(6)971--991
-
Mohamed, Otmane Ait, see Abed, Sa'ed
-
Mohrenschildt, Martin von, 12(1)41--51
-
Moir, Mark, 25(5)769--799
-
Moir, Mark, see Doherty, Simon
-
Mokhov, Andrey, 29(2)251--307
-
Mokhov, Andrey, see Bhattacharyya, Anirban
-
Möller, Bernhard, 24(4)459--476,
see Höfner, Peter
-
Möller, Michael, 20(2)161--204
-
Moller:2008:IFM, 20(2)161--204
-
Molnár, Vince, 28(3)345--379
-
Molnar:2016:CWI, 28(3)345--379
-
Monadicity, 13(3)308--326
-
monads, 23(2)221--238
-
Monahan, Brian, 1(1)137--144
-
Monahan, Rosemary, 30(6)759--759
-
Monahan:1989:BR, 1(1)137--144
-
Monahan:2018:BRD, 30(6)759--759
-
Mondex, 20(1)5--19, 20(1)21--39, 20(1)41--59, 20(1)61--77, 20(1)79--100,
20(1)101--116, 20(1)117--139
-
Mongardi, G., 10(4)361--380
-
Mongardi, G., see Cimatti, A.
-
Monin, François, 17(1)19--37, see Groote, Jan Friso
-
monitoring, 18(3)308--328, 29(5)877--910, 29(6)951--986
-
monotone, 30(3)463--489
-
Montagna, Roberto, 20(4)407--428
-
Montagna, Roberto, see Delzanno, Giorgio
-
Montali, Marco, 28(4)615--641
-
Montali:2016:MCP, 28(4)615--641
-
Mooij, Arjan J., 20(2)141--160, 22(1)63--81, 28(2)181--206
-
Mooij, Arjan J., see Dongol, Brijesh,
see Keshishzadeh, Sarmen
-
Mooij:2010:IBR, 22(1)63--81
-
Moor, O. de, 5(1)61--78
-
Moor, O. de, see Bird, R. S.
-
Moore, Boyer-, 4_1S_597_611, 5(2)121--151
-
Moore, J. Strother, 6(1)60--91, 31(6)699--732
-
Moore:1994:FMA, 6(1)60--91
-
Moore:2019:MPL, 31(6)699--732
-
Moran, Murat, 26(1)63--98
-
Moran:2014:VAV, 26(1)63--98
-
Morgan, C. C., 23(6)711--737, 26(1)169--194
-
Morgan, C. C., see Hoang, T. S.,
see McIver, A. K.
-
Morgan, Carroll, 5(4)367--382, 7(1)37--53, 7(1)54--76, 8(6)617--647,
24(1)3--26
-
Morgan, Carroll, see Butler, Michael,
see Gardiner, P. H. B., \see{King, Steve
-
Morgan:1996:ROP, 8(6)617--647
-
Morgan:2012:CNF, 24(1)3--26
-
morphism, 4_1S_693_726, 13(3)274--307
-
Morris, Joseph M., 10(1)76--96
-
Morris:1998:PNP, 10(1)76--96
-
Moscato, Mariano, 33(1)65--86
-
Moscato, Mariano, see Dutle, Aaron
-
Mossakowski, Till, 22(3)363--384
-
Mossakowski:2010:GCD, 22(3)363--384
-
Mosses, Peter D., 23(2)221--238
-
Mosses:2011:VSP, 23(2)221--238
-
Moszkowski, Ben, 29(4)705--750
-
Moszkowski:2017:ATP, 29(4)705--750
-
Mota, A., 27(5)975--1001, 28(6)937--1004
-
Mota, A., see Oliveira, M. V. M.
-
Mota, Alexandre, 26(3)441--490
-
Mota, Alexandre, see Nogueira, Sidney
-
Mota:2015:MCC, 27(5)975--1001
-
Moura, Arnaldo Vieira, 27(5)805--829
-
Moura, Arnaldo Vieira, see Rebiha, Rachid
-
Movaghar, Ali, 27(2)309--334
-
Movaghar, Ali, see Sotudeh, Gholamreza
-
movie, 5(2)121--151
-
MPSoC, 30(2)219--237
-
MSCs, 16(3)194--209
-
MSVL, 27(1)103--131
-
Mühlberg, Jan Tobias, 24(3)375--391
-
Muhlberg:2012:VCF, 24(3)375--391
-
Mukherjee, Paul, 5(4)299--336, 7(2)226--229, 7(6)704--727,
12(4)216--217
-
Mukherjee, Paul, see Larsen, Peter Gorm
-
Mukherjee:1993:FSS, 5(4)299--336, 6(5)565--568
-
Mukherjee:1995:BR, 7(2)226--229
-
Mukherjee:1995:TOS, 7(6)704--727
-
Müller, Peter, 19(2)159--189, see Leavens, Gary T.
-
multi-agent, 23(1)21--41
-
multi-component, 31(4)421--451
-
Multi-formalism, 12(4)228--230
-
multi-lane, 29(4)583--600
-
Multi-level, 33(6)1173--1208
-
Multi-Model, 33(6)1067--1114
-
multi-pattern-based, 19(3)363--374
-
multi-process, 5(5)467--479
-
multi-sector, 24(3)355--374
-
multi-threaded, 25(3)405--437, 29(6)951--986
-
multiary, 31(5)611--640, 32(1)153--153
-
multiparty, 28(4)643--667, 28(4)669--696, 29(5)877--910
-
multiple, 2(1)301--311, 31(5)611--640, 32(1)153--153
-
Multitraces, 4_1S_649_672
-
Mulvey, Rod, 3(4)367--376
-
Mulvey, Rod, see Notarmarco, Christiane
-
Muñiz, Marco, 28(3)499--527, see Feo-Arenis, Sergio
-
mural, 7(2)183--206
-
Murawski, Andrzej S., 24(4)671--678
-
Murawski, Andrzej S., see Kiefer, Stefan
-
Murphy, David, 3(2)206--212
-
Murphy:1991:BR, 3(2)206--212
-
Murray, Toby, 25(2)219--256
-
Murray:2013:LRT, 25(2)219--256
-
MUS, SCTL-, 13(1)50--91
-
must, 24(4)727--748
-
Mutation, 15(2)280--295, 21(1)33--64
-
mutual, 1(1)273--292, 25(6)947--969, 29(5)833--852, 31(2)165--206,
31(2)207--230
-
Myers, Margaret E., 25(6)933--945
-
Myers, Margaret E., see Bientinesi, Paolo