AAD AAE AAF AAM AAS AAT ABE ABF ABM ABS AC ACA ACB ACF ACL ACM ACP ADL ADP ADT AEB AFD AFR AFV AGS ALA ALS AMC AMI AML AMS ANI ANM ANU APC APF APG APR APV ARA ARN ASAP ASC ASF ASM ASMs ASR ASTDs ASU ATB ATC ATL ATM ATP ATT ATW AUTOFOCUS AVB AVC AVJ AVL AVM AVR AWC Aad Aalst Aaltonen Aaron Aarti Abadi Abd Abdolbaghi Abdollahi Abdulla Abel Abid Abraham Abrial Aceto Achim Aci Ada Adcock Adelinde Adenilso Adesi Adnan Adolfo Adri Adrian Adriano Agerholm Aguirre Ahmad Ahmadi Ahrendt Aichernig Ait Aixuan Akinori Akira Al Alagar Alaiba Alain Alan Alasdair Alban Albert Alberto Aleksandar Alencar Alessandra Alessandro Alex Alexander Alexandre Alexandros Alexei Alfredo Ali Alice Alicia Alison Almeida Alrajeh Alvaro Alwen Amel America Amir Amjad Amram Amrouche Amy Analyse Analyses Analysing Anca Anders Anderson Andisha Andova Andr Andrade Andre Andrea Andreas Andrei Andrew Andrey Android Andrzej Andy Angelo Anirban Anjorin Ann Anna Annabelle Anne Anni Anthony Anton Antonino Antonio Antoniou Antoy Antti Anung Apr Aransay Arbab ArcAngel Arcaini Arend Arendt Arenis Argenio Argos Arias Arjan Armas Armin Armstrong Arnaldo Arne Arnon Artem Arthan Arthur Artur Arturo Asieh Atkinson Atle Attie Audebaud Augusto Aur Automata Automatizing Avalle Avigad Avron Axel Axiomatisation Axiomatization Ayeb Aysu Azcorra Azgomi Aziem B BAS BCC BCE BCM BCS BEF BF BLM BM BMR BPB BPC BR BRB BRD BRE BRG BRJ BRT BSA BSC BSE BSP BTS BVL Ba Babi Babic Bacci Backhouse Backus Badban Badouel Baeten Bagheri Bagnara Bahareh Baier Bailes Bakli Balanescu Balc Balcazar Ballarin Banerjee Bantegui Bao Baranov Barbanera Barbosa Barbuti Barendregt Baresi Barkaoui Barnat Barone Barringer Barros Barsotti Bartha Barua Bas Basile Basuki Bataineh Bauch Baumann Baumler Bayley Beckert Bedregal Beek Behaviour Behavioural Behnaz Beierle Beillahi Benedito Benes Bengt Benjam Benmoussa Beno Benoit Bensalem Benzm Beran Bergstra Bernd Bersani Bertolotti Bertot Besnik Betin Bettassa Bettina Bevier Bezem Bhaduri Bhattacharyya Bican Bicarregui Bidoit Bienm Bientinesi Biere BigrTiMo Bilal Billington Binkley Biondi Birkedal Birkhoff Bisgaard Bisimulation Bisimulations Bj Bjorner Blandford Bliudze Bloem Blyth Bo Bobot Boca Bocchi Bochmann Boer Bogdan Bogdanov Boh BohorquezV Boiten Bol Bonakdarpour Bonsangue Bor Boralv Borger Bornat Boroday Boronat Borrione Bortolussi Borzoo Bos Bostr Bostrom Botaschanjan Botella Bouallouche Boucheneb Boudol Boudriga Boulgakov Boulton Bouneb Bousquet Boute Bouyer Boyer Bozga Bozzano Brabrand Bracciali Bradfield Braghin Braitling Bram Brebner Breu Brijesh Britz Broch Brogi Bronish Brookes Broy Brucker Bruni Bruns Bu Bucci Bultan Bundy Bunkenburg Burkhart Burstall Butterfield Butterworth C CADP CAG CARRON CAS CASL CBB CBC CBI CBV CC CCA CCC CCF CCM CCN CCP CCS CCT CD CDS CFB CFL CFS CGH CGI CHAM CHE CICS CIG CIM CIP CKA CLD CLP CLR CMA CMB CMC CME CMF CML CMM CMR CMV CMW CNF CNT COA CODEN COMPUT CPB CPE CPM CPN CPR CPS CPV CRA CRD CRL CRS CRU CSA CSD CSF CSMA CSP CSS CST CSV CTA CTC CTD CTF CTL CTM CTML CTP CTR CTS CTT CUL CUS CUU CV CVC CVR CVT CWI CaPiTo Cabrera CafeOBJ Caillaud Calinescu Callejas Calude Campos Canan Cansell Carbone Cardell Carlos Carmo Carrington Carron Carsten Carvalho Cassel Cassez Castagna Castellani Castillos Caswell Catalin Cattani Cau Cavalcanti Cavarra Cavezza Cecily Cederbaum Cengiz Cerone Ceska Chaki Chalin Chan Chandy Chane Chanh Chao Chaochen Characterisations Charanjit Charlton Chatterjee Chaudhari Chawdhary Chechik Cheikhrouhou Cheng Chenyi Cherkasova Chevrou Chiara Chih Chittaranjan Choi Christel Christiane Christiansen Christoph Christophe Chrszon Chun Chung Chunqing Ciancaglini Cibrario Cimatti Cinzia Ciob Ciobaca Ciobanu Cleaveland Clemens Co Codish Coenen Coinduction Colin Collinson Colvin Combemale Comini Concetta Concolic Copet Coq Coquand Cordy Corina Corradini Corrado Correas Corrodi Cosimo Costa Coupet Crichton Cristian Cristina Crustian Cruz Csaba CtCoq Cun Curzon Cusack Czeslaw D D'Argenio D'Silva D'Souza DAC DAH DAI DAS DAT DBC DBP DBR DCC DCD DCL DCP DCR DCS DDL DEG DFA DFT DFW DIT DIY DLD DMM DMT DNZ DOB DOF DOI DPA DPC DPR DQN DRA DRC DRR DRS DSA DSC DSF DSH DSL DSM DSO DTP DTR DTS DVA Dabaghchian Dadeau Dalal Dalla Damani Damgaard Dami Damiani Damien Damm Danicic Daniela Daniele Darondeau Darvas Darwish Dasgupta Dataflow Daum Davide Davie De DeWachter DeWulf Debbabi Debora Dederichs Deepak Degerlund Deifel Delzanno Demasi Deng Denney Denvir Dershowitz Desel Deutsch Deva Devillers Devina Deyun Dezani Di DiGiusto Diehl Dierks Dietsch Dima Dimitar Dimitra Dimitrie Dimitris Dimovski Dingel Dion Dipak Dipankar Dirk DisCo Diskin Dissoubray Divakar Divas Dix Dixit Djamel Djamil Dobrikov Dobson Doherty Domagoj Domenico Dominik Dong Dongol Dorel Doron Dovland Doyen Drabent Draheim Dranidis Dromey Duan Dubois Dubslaff Duchien Dumas Dunne Duong Dupuy Duque Duran Durante Dutle Dybjer Dyckhoff E EAE EAI EAL EB EBA EBR ECA ECF ECM EDD EDV EFN EFP EFS EHL EIC EIS ENC EOO EOS EPB EPC EPM EPN EPS EPV ER ERC ERS ERV ESA ETN ETP ETS ETV EUA EUR EUS EVC EVS EVU EWD EWT Ea Eb Ec Eddine Eder Edsger Eduard Eduardo Eerke Eggert Egon Ehmety Ehrig Eiffel Eijck Eike Einar Ekaterina Ekembe Ekkart El Eleftherakis Eleonora Elkader Elleuch Elloumi Eloy Elsa Elspeth Elvinia Elvira Embeddings Emoto Encodings Enea Engelhardt Enrique Eppo Equational Erica Erlebach Ermel Ernesto Eshuis Esterel Ethernet Eun Eunsuk Evangelidis Ewen F FAC FACME FACTum FAK FAP FAS FAX FCA FCE FCP FCS FCU FDD FDM FDR FDT FES FEa FEb FEc FEd FEe FFC FFM FFS FGC FHF FIC FLD FLH FMA FME FMT FMV FNI FPA FPL FPM FPT FRA FRB FRCS FRD FRF FRS FSA FSD FSE FSI FSM FSP FSS FSV FTD FTP FTS FUL FVC FVP FVQ FVR FVS FVT FWC FYH Fa Faber Fabrizio Faconti Factorisation Faitelson Fakih Falampin Falaschi Falcone Falk Fantechi Faraz Farhad Farias Fassbender Fatemeh Fathabadi Fathi Fatma Fecher Feinerer Felty Feng Feo Ferhat FermaT Ferrer Ferruccio Fiadeiro Fidge Fiedler Filieri Filipe Filipovi Filipovic Finkbeiner Finkel Fioriti FireWire Flammini Flemming Florent Florentin Florian Fokker Fokkinga Fokkink Formalisation Formalising Formulae Fr Frama Francesco Francez Franck Frantisek Franzle Frappier Fredrik FreeRTOS Freitas Fri Friso Frits Frutos Fu Fukuda Furia Futatsugi Fuyuki G GC GCC GCD GCT GEI GFA GFN GGS GIO GMP GPR GPU GR GRG GRL GSP GSX GTB GTF GTO GTS GTU Ga Gabarr Gabarro Gabbay Gaina Gallardo Gallego Gallois Galpin Ganai Gao Garc Gardiner Garlan Gaudel Geetha Geguang Geijn Geisler Generalisations Generalised Genon Genoveffa Genrich Geoff Georg Georgescu Georgievska Gerhardt Gerhold Gernot Gerth Gervais Gerwin Gethin Ghassemi Ghazali Gheorghe Ghezzi Ghiath Ghilezan Gholamreza Giacobazzi Giampaolo Gianas Gianluca Giannakopoulou Giaquinta Gidey Gidon Gikas Gilles Gillian Gioles Giordano Giorgetti Giorgio Giunchiglia Giusto Gleirscher Glenstrup Glesner Glynn Gnesi Gogolla Goguen Goldsack Gollmann GomX Gomes Gomez Goncharov Gori Gorlatch Gorm Gorogiannis Gorrieri Gottliebsen Gottschalk Gouda Gough Graeme Graf Graiet Grandy Gregor Gries Griesmayer Grigore Grigoris Grimal Grinchtein Gro Groot Groote Grosse Grosu Grov Gruler Grumberg Grundy Gu Guan Guck Gudmund Guelev Guerra Guillaume Guillermo Gunicen Gunnels Gunter Guohui Guoliang Gupta Gurgens Gustavo Gy Gyuris H HDC HDL HHM HHR HLA HLL HLV HNP HOL HSE HST HTH HVR HWL Habtom Hagiya Hai Haigh Haiping Hallal Hallerstede Halloran Hamel Hamiaz Hamid Haneberg Hanifa Hanne Hansson Hanus Harald Hardback Harel Harf Harhurin Harman Hartmann Hartmut Harton Harwood Hasan Hashemi Haskell Hassan Hatefi Havelund Haveman Haxthausen Hedberg Hee Hehner Heidrun Heike Heiko Heitmeyer Hengjun Henglein Henk Hennessy Hennicker Henning Henny Henriques Hense Hensel Henson Henzinger Hermann Hermanns Herzberg Hesselink Heu Heym Hidetaka Hierons Hiet Hildebrandt Hillston Hilscher Hinchey Hindley Hirohisa Hironobu Hitoshi Hoang Hoare Hoenicke Hofner Hofstede Hofstee Holcombe Holger Holmstr Holmstrom Holom Holzmann Hongseok Honiden Hooman Hopfield Horacek Horia Horning Hosein Howar Howells Howroyd Hsien Hu Huajun Huan Huang Hui Huibiao Huihui Huimin Huntbach Hurault Hussak Hussein Hussmann Huth IAO IAS IBP IBR ICF ICH ICM ICS ICT IDD IDM IDP IEEE IEO IES IFM IFP IGB IIT IJbema ILP ILR IM IMF IPA IPB IPC IPH IPT IPv IRR IRT ISBN ISC ISD ISN ISP ISR ISSN ITC ITI ITSEC IUV IVA Iain Igor Ikram Ilaria Iliasov Ilie Ina Indranil Inequations Informatics Ing Ingo Ingrid Intensional Internet Inverardi Inverno Ipate Isabelle Ishikawa Ismael Istv Istvan Ivana Ivaylo Iyoda J JM JUDI JVS JWB Jaber Jaco Jacopo Jaime Jaksi Jaksi'c Jakubiec Janc Jancik Janneck Janowski JavaSPI Jayadev Jeanette Jeannette Jeavons Jebali Jens Jeroen Jes Jeske Jewgenij Jha Ji Jian Jianhua Jianlin Jianqi Jianwen Jie Jifeng Jin Jing Jinn Jinzhao Jir Joachim Joakim Joaquim Jochen Johan Johansen Johnsen Jonatan Jonker Jonsson Joost Jordi Jorges Joris Jos Josephs Joshi Josyula Jourdan Jovanka Jozef Judi Jul Juliana Juliano Julien Julliand Jun Junges Jutla K KAOS KIV KSM KTR Kai Kaisa Kaizer Kajtazi Kalman Kalou Kamel Kamm Kammuller Kamp Kang Kanso Kapur Karam Karsten Kashay Kassios Katarina Katerina Katoen Kawamoto Kazmierczak Kazuhiro Kazuo Keefe Kellom Kemal Kenji Kento Kerse Kerstin Keshishzadeh Kessler Ketil Kezadri Khakpour Khaled Khendek Khoo Khosravi Kiam Kiefer Kiehn Kindler Kirkeby Kirkwood Kirschenbaum Kirsten Kirwan Kl Klaudel Klebanov Kleene Kleijn Kleymann Kloul Knaack Knaggs Knaster Kneuper Knijnenburg Kobayashi Kobro Kof Kofron Kohlhase Koichi Kok Kokash Kokichi Kolahdouz Komendantskaya Kondoh Konnov Konrad Konstantinos Konur Koopmann Korver Kosmatov Kotkas Koutny Kr Krafczyk Kratochv Krause Kreowski Krishnan Krishnendu Kroening Krogdahl Krone Krystian Krzysztof Kuat Kuen Kuhlmann Kuiper Kulcs Kulkarni Kunal Kundu Kunihiko Kurki Kuruma Kushik Kuske Kwiatkowska Kwiecinski Kyeong L LAA LAE LAS LBL LCB LCF LCR LDD LEP LFE LFM LFV LHW LI LIH LIS LM LMB LMR LOTOS LP LRA LRR LRT LSA LSB LSN LSP LTL LTS LUI Labb Labbe Ladkin Lahcen Lahouij Laibinis Laleau Lali Lamport Lamsweerde Landin Lanese Laneve Lano Lanotte Lara Larissa Lassaad Latella Lawford Lazhar Lazic Lazreg Le Leary Leavens Lechenet Leduc Legay Lei Leifer Leino Lengauer Lentfert Leonor Lermer Lescanne Letan Leth Leucker Leue Leuschel Li Liang Lieberherr Lightfoot Liguoro Lijun Limaye Linas Ling Linmin Lins Liu Lizeth Llano Lopes Loreti Louiza Lu Lubos Luc Luca Lucanu Lucena Luchangco Luciano Ludmila Luigi Luigia Luiz Luk Lukkien Luo Lupton Lustre Luteberget Luttik Lutz Lv Lydie Lysne M MAHARAJ MATLAB MBP MBS MBT MC MCA MCB MCC MCD MCL MCO MCP MCR MCT MCU MDA MDESL MDFAs MDP MDR MDS MDT MEC MEGA MEI MEP MEV MFA MGFa MGFb MGU MHP MIC MIO MIP MJC ML MLD MLS MMI MMS MMZ MOBY MOF MPI MPL MPO MPS MPSoC MRC MRSa MRSb MRSc MSCs MSP MSS MST MSV MSVL MTR MTU MUS MVA MVC MVF MVI MVM MVP MVT Maarten MacQueen Macedo Machado Maciej Maclean Magee Maggiolo Maharaj Mahdi Mahmoud Mahony Maibaum Maissa Mait Maja Majster Majzik Makarius Malek Mammar Mancini Mand Mandal Mani Manohar Manoj Maoz MapReduce Marcello Marchiori Marconi Marek Marganiec Margaria Mari Marian Mariangiola Mariano Marius Markey Markovski Markus Marlon Marmsoler Marrone Marta Martins Martti Martyn Maryam Masaaki Masalagiu Masami Masitah Massart Massimo Massink Masson Mastroeni Mateescu Mathai Mathijssen Mathis Matringe Mattarei Matteo Matthias Matthieu Maude Maung Maurizio Maxime McDaid McGinnity McIsaac McIver McKeever Mechanised Mechanising Medjkoune Meertens Meinicke Melis Melo Memoriam Mendler Mendling Menghi Merro Merz Meseguer Messaouda Meta MetateM Metzner Meur Meuter Mexitl Meyden Miaomiao Michaelson Michele Middelburg Mieke Mihai Mikhajlova Miki Mikl Mila Milazzo Milhau Mili Milner Minamide Ming Mingsheng Mirabelle Mirco Misra Mitra Miyazaki Miyazawa Mizera Mizuno Modelling Modularising Mogens Moggi Moha Mohamad Mohamed Mohammad Mohand Mohrenschildt Moir Mokhov Moller Moln Molnar Mon Monadicity Monahan Mondex Mongardi Monin Montagna Montali Mooij Moonzoo Moreno Morphisms Morten Moscato Moshe Mossakowski Moszkowski Mota Mounira Moura Mourad Movaghar Muffy Muhammad Muhlberg Mukherjee Multi Multitraces Mulvey Murali Murat Murawski Murdoch N NAA NAL NAM NCC NDB NDS NIR NKY NSD Nachum Nada Nagarajan Naijun Nandit Naoki Naouel Narciso Narges Nassim Natalia Natallia Natasha Naumann Nazareno Nazarpour Nebel Nebut Neelanjana Nemouchi Nesi NewThink Neykova Ng Ngan Ngondi Nickolas Nico Nicolas Niehaus Nielson Nien Nienaltowski Nies Nieto Niklas Nikola Nikolaj Nikos Nils Nipkow Nisansala Nishant Nishimura Nissim Nitsche Nobuko Nogueira Nondeterminacy Normalising Notarmarco Notkin Noureddine Nunes Nuno Nys O O'Halloran O'Hearn O'Keefe O'Leary O'Regan OAL OAP OCL OEC OFP OHalloran OIF OLAP OLeary OPD OPM ORC OSA OSEK OSO OSR OZ Ochsenschl Ochsenschlager Ofer Ogata Ohsaki Olav Olderog Ole Oleg Oliet Oliva Oliveira Olivier Om Omar Ondrej Online Ontologies Optimising Orava Orejas Orna Ort Osman Ostroff Otmane Ouaknine Ouarbya Ouyang P PAC PAF PAG PBV PCA PCB PCD PCH PCL PCM PCP PCR PCS PDC PDI PDV PEB PEC PEH PEPA PES PFC PFO PIF PIS PL PLC PLR PLT PMB PMC PMD PMM PMP PNB PNP POB POC POR POS PP PPF PPP PPS PPT PREMO PROMELA PRR PSC PSL PSM PSP PSR PTN PTP PTR PVH PVI PVL PVM PVS Packetised Padmanabhan Padovani Paige Paiva Pallab Palsberg Pantel Pantovi Pantovi'c Paola Paolo Pappalardo Parallelization Parameterization Parameterized Paramorphisms Parke Parlog Parosh Parrow Partsch Pascale Pasqualin Patr Patrizia Paulius Paulo Paulson Paun Pavel Paynter Pazos Pease Pedersen Peirce Peled Peleska Peng Pengfei Perdita Pereira Perna Perrier Pertti Petiot Petr Petre Petrenko Petri Pettorossi Philipp Philippe Phillip Physigrams Piergiuseppe Piessens Pieter Pilotto Pimentel Pinger Piotr Pironti Pistiner Pita Pitk Pitts Piveta Pl Plagge Platzer Plotkin Pnueli Poch Podelski Polikarpova Pollack Pollet Polyvyanyy Pombo Pomello Ponse Pontus Popplestone Poppleton Porr Poskitt Pous Prahladavaradan Prange Prasad Prasetya Preda Prenninger Prensa Preoteasa Presheaves Prevosto Priami ProB ProFeat Proietti Prolog Promela ProofNavigator ProofPower Pu PuRSUE Pucella Puebla Purandar Putput Pym QAC QVK Qi Qian Qin Qiu Qiwen Qixia Qu Quang Quattrocchi Quemada Quintana R RAA RAD RAF RAO RBD RBP RBV RC RCF RCI RCM RCR RCS RDA RDC REB RET RFS RGC RGM RHC RHI RIC RIR RISC RLM RM RMB RMF RMJ RML ROLA ROMIJN ROP RPA RPB RPP RRP RRS RRV RSC RSE RSP RSR RSU RT RTE RTP RTR RTS RTW RTZ RUI RYDEHEARD RZF RZPa RZPb Rabanal Rachid Radu Ragnhild Rahimi Rainer Rajagopal Rajeev Rajesh Rajit Rakamari Ralf Raman Ramananandro Ramanathan Ramduny Ramesh Ramiro Ramos Ramtin Rana Rance Rangel Ranjeet Ranko Rao Rapha Rasch Raschke Rashid Raskin Ravara Ravn Rawlings Reachability Rebiha Reddy Refsdal Regan Regivan Reif Reiff Reinhard Reino Reisig Renard Renate Rensink Reo Repp Retargeting Retrenchment Rewitzky Reynier Rezazadeh Rhishikesh Rhode Ribeiro Riccardo Riccobene Rieke Riesco Riis Rik Rimvydas Risi RiskStructures Risto Ritchie Rivkin Rizzi Roccetti Roderick Rodin Rodolfo Rodr Rodrigues Roever Roggenbach Rolf Rollet Rom Romanovsky Romijn Ronn Ronny Rosaci Rosamund Roscoe Rossi Rossini Rosu Roux Rowson Roxana Rubin Rubio Ruggero Ruk Ruksenas Rumyana Runde Runlei Russinoff Rustan Rusu Rutger Rutle Rutten Ruurd Rybalchenko Rydeheard S SAB SACM SAE SANNELLA SAS SAVI SBS SBT SCA SCC SCD SCI SCJ SCO SCP SCR SCTL SCV SCW SDC SDE SDL SDLV SDM SDP SDU SDV SEF SEL SFC SFL SFM SFS SH SHANKLAND SI SID SIU SL SLA SLF SLS SLZ SMC SMF SMO SMV SPB SPL SPM SPN SPP SPR SPS SRF SRH SRM SRML SRN SRR SRS SSA SSB SSD SSS STA STD STeP SUD SVC SVL SVP SVS SVT SWN SWP SWU Sa Sa'ed Saaman Saddek Safouan Sagar Saidouni Sala Salaheddin Saleh Salehi Salzer Sami Samir Sammane Sampaio Sampath Sandeep Sandner Sangiorgi Sannella Santos Sarkar Sarmen Sascha Sasson Satisfiability Savas Savi Sayan Scaife Scandurra Scanniello Sch Schaefer Schellhorn Schettini Schieferdecker Schlager Schlatte Schmaltz Schnoebelen Schoeller Scholefield Schr Schrammel Schreiner Schreur Schreye Schulte Schuppan Segala Segall Seidel Sekerinski Seki Seldin Sellink Senni Sep Sequentiality Ser Sere Sergey Sergio Sergiy Sernadas Sevegnani Shahar Shankland Shanyan Shaofa Sharygina Sheng Shengchao Sherif Shi Shinichi Shmuel Shoham Shu Shuangqing Shufang Shukla Shuling Si Siau Sibilio Siddique Sidi Sidorova Siekmann Sifakis Signalling Signoles Silberschatz Silva Silvia Simao Simone Simons Simulink Singh Sinha Sinnig Sintzoff Siobh Sipma Sistla Sisto Sitaraman Siyar Sjaak Skeirik Slanina Slind Slotosch Smans Smetsers Smolka Snepscheut Sofi Solange Soldani Soldo Solin Sommerville Sonja Soparkar Sorge Sotudeh Souza Spichkova Spivey Spoletini Sprevak Springintveld Sproston StPowla Staden Stankaitis Stannett Statechart Statechartable Stateflow Statemate Stavridou Stefania Stefano Steffen Steggles Stell Sten Stenger Stephan Stepney Stig Stoddart Stoelinga Str Streader Strichman Strother Struber Struth Stunkel Stuttering Su Subramani Substitutability Sudipta Sufrin Suhl Sunesen Sunil Suonio Susatyo Susumu Suzana Sven Svetlana Swaminathan Swierstra Synchronisable Synchronisation T TAS TAV TBC TBD TBE TBP TBS TCA TCC TCOZ TCQ TCSP TDG TDI TEB TEP TFA TFF TFL TFS TFT TGS TIF TII TIR TIS TK TLA TLP TME TMP TMX TNI TOS TOrPEDO TPA TPB TPC TPF TPL TRB TRM TRS TSB TSL TTC TTG TTH TTM TVC TWM Ta Taborda Taentzer Taguchi Taha Tahar Tahina Takahashi Takaragi Tamburrelli Tapia Tapken Tappler Tarasyuk Tarifa Tarlecki Tarski Tata Tauras Tayssir Teague Teige Tel Tenzer Tevfik Theofanis Thierry Thirioux Thomsen Thorsten Thu Thudichum Thuy Tiberghien Tienari Timo Tini Tino Tissot Titolo Tiu Tiziana Tobias Toetenel Tofan Tofts Tomasz Torielli Torp Torres Torshizi Tortora Touili Tourlas Tran Traonouez Traverso Travkin Treharne Troels Troina Troubitsyna Trung Tsai Tsay Tschannen Tsutomu Tue Turhan Turrini Turski Tyszberowicz U UAR UBA UCS UDR UEB UFF UFR UFS UFV UI UIC UML UNA UPC UPM URC URL USC USL UST UTP UUM UVM Uchitel Uday Ugo Uhrmacher Ulrich Ulrike Umair Un Unger Untanglings Uppaal Ural Uraz UseCase Uwe V VAM VAV VBM VCC VCF VCP VCS VDA VDF VDL VDM VDMTools VDR VDS VDX VEE VES VFP VGM VHDL VID VIF VLS VLSI VM VME VPC VPD VPM VPS VSA VSC VSP VSR VSTTE VSW VTI VVA VVSL VWS VZC Vaandrager Vadera Vahid Vahur Valenzano Valeria Valerio Valmari Vanak Vanessa Vangalur Vangheluwe Varacca Vardi Vasco Vasconcelos Vashti Vasile Vassiliou Veith Vekris Verbeek Verdejo Vereijken Verhoef Verlag Vertan Vickers Vidaller Vieira Vigouroux Vijay Viktor Vilkomir Villanueva Vince Vink Viorel Virgile Vishwanath Vittorini Vizzotto Vlad Vogler Vojnar Volker Voorhoeve Vries Vu W WAM WID WMG WMT WPC WPP WPT WWW WXM Wachter Wahl Wald Waldinger Wamel Wanling Waqar Warshall Wasowski Wehrheim Weide Weidlich Weidmann Weiqiang Weissenbacher Welch Wellings Wenbo Wenzel Westphal Whitley Wi Wichers Wiik Wijs Wil Wildman Wilkerson Willem Wim Wimmer Winskel Wissmann Wlodzimierz Wolfram Wolter Worrell Wray Wulf Wulff Wybe Wyble Wynn X XMH Xia Xian Xiang Xiangyu Xiao Xiaobing Xiaofeng Xiaojian Xiaoju Xiaoping Xiaoshan Xiaoyu Xie Xilong Xiong Xiumei Xu Xuandong Xudong Y Yack Yadav Yakobowski Yakoub Yamagata Yanhong Yankelevich Yann Yaping Yasmin Yasuhiko Yatapanage Yazid Yenig Yessenov Yevtushenko Yi Yifeng Yih Ying Yli Yonezawa Yong Yongdong Yongjian Yongjuan Yongxin Yoriyuki Yoshida Yousefi Yousri Yu Yuan Yuhong Yuhui Yunho Yunja Yusuke Yuxi Yuxin Yuyan Z ZM ZRC ZTB Zaffanella Zave Zedan Zee Zemanek Zeng Zeno Zeyda Zhan Zhang Zhao Zhe Zheng Zhenhua Zhenjiang Zhibin Zhihai Zhiming Zhiping Zhou Zhu Zhuo Zinovy Zohar Zonghua Zongyan Zucca Zucker Zvonimir Zwaag accesspage ack acknowledgement acm adys ambients analysing apr assertional aug automata aw bastien beebe behaviour behavioural behaviours ber bibdate bibmods bibnames bibnet bibsource bigraphs biphase bisimilarity bisimulation bisimulations bytecode c ca calculational callbacks centred characterisation chenet chir cia co colimits coloured com combinational combinator combinators composability compositionally coroutines csp cyber d d'Inverno da dataflow datatypes de de'Liguoro deBoer deGroote deLara dePutter deVink dec del der deva diger dijkstra doi dric du dx e eBook eISBN ed eds edsger edu el encodings ethernet extremal ez f feb filesystem fjournal fner formalisation formalised formaspcomput fortran generalised ger gine gis guez h hardback hl hlberg hoc http https hybridised hypertraces impredicative innec interoperability interoperating iz j jan java jul jun k ka kee ki l lcar len lfsd linearizability ling liveness lle ller logics lv lveczky ly lzer m mCRL malware mann matlab maximality memoriam meta metadata metamodelling mez minimisation mm modelling modularisation monads morphisms multi multiary multiparty n nan nas ndez ne neighbourhood nen ner nescu neuc neurobiological ngas nhfb ni nia niel nig nio nkel nn nondeterminism nondeterministic nov ntha nzle o oct odzimierz ois oise onard online org pAMN parameterized pdf pez plugins poly polyhedra possibilistic pp ppelholz pre preorders pushdown r rTiMo rd reanu refactoring relabelling ren retrenchment rez rg rgen rgens rger rges rgy ric rilier rker rn rnar rner rquez rr rsch runtime ry s satisfiability schedulability semiring sep showtags signalling sil sn softcover ssani stabilisation subscripted substitutability subtyping suitable synchronisation systolic t tccp tefan teleo ter tex th tienne ttgen ttir twocolumn u uelos umler underspecification unprivileged unsrt utah vanEijck vanLamsweerde vandeSnepscheut vanderAalst vanderMeyden von vonMohrenschildt vonWright vs w workflow www x xSAP xv xxi xxii y z za zar zonotope