Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.
The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1027.00033). Indexed articles: \textit{Abadi, Martín; Wobber, Ted}, A logical account of NGSCB, 1-12 [Zbl 1110.68308] \textit{Bolognesi, Tommaso}, Composing event constraints in state-based specification, 13-32 [Zbl 1110.68409] \textit{Doherty, Simon; Groves, Lindsay; Luchangco, Victor; Moir, Mark}, Formal verification of a practical lock-free queue algorithm, 97-114 [Zbl 1110.68410] \textit{Haydar, May; Petrenko, Alexandre; Sahraoui, Houari}, Formal verification of web applications modeled by communicating automata, 115-132 [Zbl 1110.68314] \textit{Ural, Hasan; Yenigün, Hüsnü}, Towards design recovery from observations, 133-149 [Zbl 1110.68422] \textit{Alcalde, Baptiste; Cavalli, Ana; Chen, Dongluo; Khuu, Davy; Lee, David}, Network protocol system passive testing for fault management: A backward checking approach, 150-166 [Zbl 1110.68321] \textit{Godskesen, Jens Chr.; Nielsen, Brian; Skou, Arne}, Connectivity testing through model-checking, 167-184 [Zbl 1110.68312] \textit{El-Fakih, Khaled; Yevtushenko, Nina}, Fault propagation by equation solving, 185-198 [Zbl 1110.68350] \textit{Wang, Xin; Wang, Ji; Qi, Zhi-Chang}, Automatic generation of run-time test oracles for distributed real-time systems, 199-212 [Zbl 1110.68349] \textit{Salah, Aziz; Mizouni, Rabeb; Dssouli, Rachida; Parreaux, Benoît}, Formal composition of distributed scenarios, 213-228 [Zbl 1110.68347] \textit{Chen, Jessica; Hierons, Robert M.; Ural, Hasan}, Conditions for resolving observability problems in distributed testing, 229-242 [Zbl 1110.68334] \textit{Meolic, Robert; Fantechi, Alessandro; Gnesi, Stefania}, Witness and counterexample automata for ACTL, 259-275 [Zbl 1110.68411] \textit{Thierry-Mieg, Yann; Ilié, Jean-Michel; Poitrenaud, Denis}, A symbolic symbolic state space representation, 276-291 [Zbl 1110.68348] \textit{Maciá, Hermenegilda; Valero, Valentín; Cazorla, Diego; Cuartero, Fernando}, Introducing the iteration in sPBC, 292-309 [Zbl 1110.68420] \textit{Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej}, Petri net semantics of the finite \(\pi\)-calculus, 309-325 [Zbl 1110.68417] \textit{Chatain, Thomas; Jard, Claude}, Symbolic diagnosis of partially observable concurrent systems, 326-342 [Zbl 1110.68416] \textit{Wibling, Oskar; Parrow, Joachim; Pears, Arnold}, Automatized verification of ad hoc routing protocols, 343-358 [Zbl 1110.68327] \textit{Naldurg, Prasad; Sen, Koushik; Thati, Prasanna}, A temporal logic based framework for intrusion detection, 359-375 [Zbl 1110.68382]
scientific article; zbMATH DE number 2172622