Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings (Q1763065)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Rodríguez, Ismael; Núñez, Manuel; Rubio, Fernando}, Specification of autonomous agents in e-commerce systems, 30-44 [Zbl 1111.68335] \textit{López, Natalia; Núñez, Manuel; Rodríguez, Ismael}, Formal specification of symbolic-probabilistic systems, 114-127 [Zbl 1111.68511] \textit{Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Pardo, J. José; Macià, Hermenegilda}, A bounded true concurrency process algebra for performance evaluation, 143-155 [Zbl 1111.68545] \textit{Qin, Guangping; Wu, Jinzhao}, Branching time equivalences for interactive Markov chains, 156-169 [Zbl 1111.68544] \textit{Vinck, Bart; Bruneel, Herwig}, System contents versus system delay for discrete-time queueing systems with renewal arrivals, 170-183 [Zbl 1111.68366] \textit{Gao, Peixia; Wittevrongel, Sabine; Bruneel, Herwig}, Delay analysis for a discrete-time GI-D-c queue with arbitrary-length service times, 184-195 [Zbl 1111.68361] \textit{Jalili-Kharaajoo, Mahdi}, Adaptive fuzzy queue management and congestion avoidance in TCP/AQM networks, 196-208 [Zbl 1111.68362] \textit{Zuberek, W. M.}, Modeling and analysis of dual block multithreading, 209-219 [Zbl 1111.68370] \textit{Sridhar, K. N.; Ciobanu, Gabriel}, Describing IEEE 802.11 wireless mechanisms by using the \(\pi\)-calculus and performance evaluation process algebra, 233-247 [Zbl 1111.68350] \textit{Núñez, Manuel; Rodríguez, Ismael; Rubio, Fernando}, Testing of autonomous agents described as utility state machines, 322-336 [Zbl 1111.68331]