Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.
type: Item
instance of: scholarly article
title: Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.
zbMATH Open document ID: 1062.68014
published in: Lecture Notes in Computer Science
publication date: 2005-05-31T00:00:00Z
review text: 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, F…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 2172622
MaRDI profile type: Publication
full work available at URL: b100576
OpenAlex ID: W2244752996
DOI: 10.1007/B100576
description: scientific article; zbMATH DE number 2172622