Abstract is missing.
- Network and Application for New GenerationIchiroh Sakakibara. 1
- Specification-based Testing of Concurrent SystemsAndreas Ulrich, Hartmut König. 7-22
- Refusal Testing for Classes of Transition Systems with Inputs and OutputsLex Heerink, Jan Tretmans. 23-38
- A Framework for Distributed Object-Oriented TestingAlan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs. 39-56
- Interoperability Test Suite Derivation for Symmetric Communication ProtocolsSungwon Kang, Myungchul Kim. 57-72
- A Hierarchy of Communication Models for Message Sequence ChartsAndré Engels, Sjouke Mauw, Michel A. Reniers. 75-90
- Timing Constraints in Message Sequence Chart SpecificationsHanêne Ben-Abdallah, Stefan Leue. 91-106
- Consistent Semantics for ODP Information and Computational ModelsJoubine Dustzadeh, Elie Najm. 107-126
- Specifying the ODP Trader: An Introduction to E-LOTOSGiovanny F. Lucero, Juan Quemada. 127-142
- A Computer Aided Design of a Secure Registration ProtocolFrançois Germeau, Guy Leduc. 145-160
- Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology NetworksKeiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi. 161-176
- Disjunction of LOTOS SpecificationsMaarten Steen, Howard Bowman, John Derrick, Eerke Boiten. 177-192
- A Timed Automaton Model for ET-LOTOS VerificationChristian Hernalsteen. 193-204
- Automatic Checking of Aggregation Abstractions Through State EnumerationSeungjoon Park, Satyaki Das, David L. Dill. 207-222
- Concept of Quantified Abstract Quotient Automaton and its AdvantageGuy Juanole, Laurent Gallon. 223-238
- Validating Protocol Composition for Progress by Parallel Step Reachability AnalysisGurdip Singh, Hong Liu. 239-250
- An Improved Search Strategy for Lossy Channel SystemsParosh Aziz Abdulla, Mats Kindahl, Doron Peled. 251-264
- A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State MachinesDeukyoon Kang, Sungwon Kang, Myungchul Kim, Sangjo Yoo. 267-282
- Friendly Testing as a Conformance RelationDavid de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez. 283-298
- Generalized Metric Based Test Selection and Coverage Measure for Communication ProtocolsJinsong Zhu, Son T. Vuong. 299-314
- The Future Information Technology and its Impact to the SocietyShoichi Noguchi. 317
- Dynamic Priorities for Modeling Real-TimeGirish Bhat, Rance Cleaveland, Gerald Lüttgen. 321-336
- On-Line Timed Protocol Trace Analysis Based on Uncertain State DescriptionsMarek Musial. 337-352
- Algebraic Specification through Expression TransformationManuel J. Fernández Iglesias, Martín Llamas Nistal. 355-366
- Modelling Digital Logic in SDLGyula Csopaki, Kenneth J. Turner. 367-382
- A Methodology for the Description of System Requirements and the Derivation of Formal SpecificationsAtsushi Togashi, Fumiaki Kanezashi, Xiasong Lu. 383-398
- On the Influence of Semantic Constraints on the Code Generation from Estelle SpecificationsRalf Henke, Andreas Mitschele-Thiel, Hartmut König. 399-414
- Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications NetworkJ. H. Andrews, Nancy A. Day, Jeffrey J. Joyce. 417-432
- An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring SystemL. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci. 433-448
- Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP ProtocolsToshihiko Kato, Tomohiko Ogishi, Akira Idoue, Kenji Suzuki. 449-464
- Eight Years of Experience in Test Generation from FDTs using TVEDARoland Groz, Nathalie Risser. 465-480
- Distributed Object Consistency in Mobile EnvironmentsHenry Chang. 483
- Self-independent Petri Nets for Distributed SystemsYong Sun, Shaoying Liu, Mitsuru Ohba. 487-502
- Combining CSP and Object-Z: Finite or Infinite Trace Semantics?Clemens Fischer, Graeme Smith. 503-518
- Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition SystemsRoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. 519-534
- On a Concurrency Calculus for Design of Mobile Telecommunication SystemsToshihiko Ando, Kaoru Takahashi, Yasushi Kato. 535-546