1 Specification-based testing of concurrent systems. - 2 Refusal testing for classes of transition systems with inputs and outputs. - 3 A framework for distributed object-oriented testing. - 4 Interoperability test suite derivation for symmetric communication protocols. - 5 A hierarchy of communication models for message sequence charts. - 6 Timing constraints in message sequence chart specifications. - 7 Consistent semantics for ODP information and computational models. - 8 Specifying the ODP trader: an introduction to E-LOTOS. - 9 A computer aided design of a secure registration protocol. - 10 Implementation of distributed systems described with LOTOS multi-rendezvous on bus topology networks. - 11 Disjunction of LOTOS specifications. - 12 A timed automaton model for ET-LOTOS verification. - 13 Automatic checking of aggregation abstractions through state enumeration. - 14 Concept of quantified abstract quotient automaton and its advantage. - 15 Validating protocol composition for progress by parallel step reachability analysis. - 16 An improved search strategy for Lossy channel systems. - 17 A weighted random walk approach for conformance testing of a system specified as communicating finite state machines. - 18 Friendly testing as a conformance relation. - 19 Generalized metric based test selection and coverage measure for communication protocols. - 20 Dynamic priorities for modeling real-time. - 21 On-line timed protocol trace analysis based on uncertain state descriptions. - 22 Algebraic specification through expression transformation. - 23 Modelling digital logic in SDL. - 24 A methodology for the description of system requirements and the derivation of formal specifications. - 25 On the influence of semantic constraints on the code generation from Estelle specifications. - 26 Using a formal description technique to model aspects of a global air traffic telecommunications network. - 27 An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system. - 28 Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP/IP protocols. - 29 Eight years of experience in test generation from FDTs using TVEDA. - 30 Self-independent petri nets for distributed systems. - 31 Combining CSP and object-Z: finite or infinite trace semantics?. - 32 Selective mu-calculus: new modal operators for proving properties on reduced transition systems. - 33 On a concurrency calculus for design of mobile telecommunication systems. - Index of contributors. - Keyword index. Language: English