Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9--13, 2002. Prodeedings. (Q1880561)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0939.00039) Indexed articles: \textit{Walukiewicz, Igor}, Automata and games for synthesis, 15-20 [Zbl 1275.68097] \textit{Mosses, Peter D.}, Pragmatics of modular SOS, 21-40 [Zbl 1275.68086] \textit{Miller, Dale}, Higher-order quantification and proof search, 60-74 [Zbl 1275.68048] \textit{Schröder, Lutz; Mossakowski, Till}, \textsc{HasCasl}: towards integrated specification and development of functional programs, 99-116 [Zbl 1275.68054] \textit{Alpuente, María; Escobar, Santiago; Lucas, Salvador}, Removing redundant arguments of functions, 117-131 [Zbl 1275.68056] \textit{Adélaïde, Michaël; Roux, Olivier}, A class of decidable parametric hybrid systems, 132-146 [Zbl 1275.68085] \textit{Dong, Yifei; Sarna-Starosta, Beata; Ramakrishnan, C. R.; Smolka, Scott A.}, Vacuity checking in the modal mu-calculus, 147-162 [Zbl 1275.68090] \textit{Hornus, Samuel; Schnoebelen, Philippe}, On solving temporal logic queries, 163-177 [Zbl 1275.68093] \textit{Guo, Guangyuan; Janicki, Ryszard}, Modelling concurrent behaviours by commutativity and weak causality relations, 178-191 [Zbl 1275.68105] \textit{Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck}, An algebra of non-safe Petri boxes, 192-207 [Zbl 1275.68104] \textit{Ulidowski, Irek}, Refusal simulation and interactive games, 208-222 [Zbl 1275.68107] \textit{Thati, Prasannaa; Ziaei, Reza; Agha, Gul}, A theory of may testing for asynchronous calculi with locality and no name matching, 223-238 [Zbl 1275.68106] \textit{Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna}, Equational axioms for probabilistic bisimilarity, 239-253 [Zbl 1275.68099] \textit{Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto}, Bisimulation by unification, 254-270 [Zbl 1275.68100] \textit{Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina}, Transforming processes to check and ensure information flow security, 271-286 [Zbl 1275.68102] \textit{Borgström, Johannes; Nestmann, Uwe}, On bisimulations for the spi calculus, 287-303 [Zbl 1275.68101] \textit{Giegerich, Robert; Meyer, Carsten}, Algebraic dynamic programming, 349-364 [Zbl 1275.90121] \textit{Simon, Axel; King, Andy}, Analyzing string buffers in C, 365-379 [Zbl 1275.68060] \textit{Hill, Patricia M.; Spoto, Fausto}, A foundation of escape analysis, 380-395 [Zbl 1275.68058] \textit{Stell, John G.}, A framework for order-sorted algebra, 396-410 [Zbl 1275.08002] \textit{Pavlovic, Dusko; Smith, Douglas R.}, Guarded transitions in evolving specifications, 411-425 [Zbl 1275.68095] \textit{Lopes, Antónia; Fiadeiro, José Luiz}, Revisiting the categorical approach to systems, 426-440 [Zbl 1275.68108] \textit{Schairer, Axel; Hutter, Dieter}, Proof transformations for evolutionary formal software development, 441-456 [Zbl 1275.68059] \textit{Skoglund, Mats}, Sharing objects by read-only references, 457-472 [Zbl 1275.68061] \textit{Reus, Bernhard}, Class-based versus object-based: a denotational comparison, 473-488 [Zbl 1275.68055]