Abstract is missing.
- Proving performance propterties (even probabilistic ones)Nancy A. Lynch. 3-20
- Semantic-oriented description techniques for network management information modellingDeh-Min Wu. 23-36
- A service request description languageClaudia Popien, Bernd Meyer. 37-52
- Modelization and verification of a multiprocessor realtime OS kernelThierry Cattel. 55-70
- Design of operating systems using the F.D.T. ESTELLEO. González, V. G. García, M. Riesco, Enrique Vázquez. 71-86
- The formalization and analysis of CCR protocol and serviceBairong Zhang, Alistair Munro, Michael Barton. 87-99
- On the formal specification and verification of network routing algorithmsJim Davies, Matt Wallis. 100-115
- Validation of supplementary services in the context of interoperabilityS. Le Bricquir, A. Lauzanne. 119-134
- FDT based development of an interworking unit between LANs and X.25 networksJuan C. Yelmo, F. Javier Carrasco, Carlos Sánchez, Juan J. Gil, C. Ramos, M. I. Felipe. 135-150
- Using formal specification and simulation: practical experience with distributed applicationsWillem Hengeveld, Peter van der Toorn, Geert-Jan Houben. 151-162
- Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approachPim Kars. 165-180
- Reachable state space analysis of LOTOS specificationsAlain Kerbrat. 181-196
- An improvement in formal verificationGerard J. Holzmann, Doron Peled. 197-211
- A modal based verification for LOTOSHacène Fouchal, Ana R. Cavalli. 215-217
- Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enablingAlessandro Fantechi, Stefania Gnesi, R. Sacchelli. 218-220
- Simulator for LOTOS to study the independence and causality of eventsB. Botma, Rom Langerak. 221-223
- Verifying ET-LOTOS programmes with KRONOSConrado Daws, Alfredo Olivero, Sergio Yovine. 227-242
- Automatic verification of real-time communicating systems by constraint-solvingWang Yi, Paul Pettersson, Mats Daniels. 243-258
- Verifying timing properties of concurrent algorithmsVictor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch. 259-273
- Formal specification and analysis of an ISO communications protocolJ. R. Rowson. 277-279
- Verification model reduction through abstractionsJean-Charles Grégoire. 280-282
- Visual animation of LOTOS using SOLVEKenneth J. Turner, Ashley McClenaghan. 283-285
- How good is your specification method?Leslie Lamport. 289
- Relating maximality-based semantics to action refinement in process algebrasJean-Pierre Courtiat, Djamel-Eddine Saïdouni. 293-308
- An abstract interpreter for the specification language LOTOSFranco Fiore, Fosca Giannotti. 309-323
- An attempt to embed a restricted version of SDL as a target language in FocusEckhardt Holz, Ketil Stølen. 324-339
- Delayed choice: an operator for joining Message Sequence ChartsJos C. M. Baeten, Sjouke Mauw. 340-354
- Four issues concerning the semantics of Message Flow GraphsPeter B. Ladkin, Stefan Leue. 355-369
- Towards a formal computational model for distributed multimedia applicationsAndreas Vogel. 373-375
- Specification, detection and resolution of IN feature interactions with EstelleJan Bredereke, Reinhard Gotzhein. 376-378
- Application of protocol sythesis technique to resolution of the service interaction problemYoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno. 379-381
- Proving the value of formal methodsGerard J. Holzmann. 385-396
- A structural analysis approach to the evaluation of fault coverage for protocol conformance testingMing Yu Yao, Alexandre Petrenko, Gregor von Bochmann. 399-414
- Test sequence generation using Estelle or SDL structure informationMarc Phalippou. 415-430
- Derivation of efficient implementations from formal descriptions - issues, methods and conformanceH. Kremer. 431-446
- Stochastic process algebras: integrating qualitative and quantitative modellingJane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach. 449-451
- A new approach to performance evaluation of formally specified protocolsStefan Böhmer, Ralf Klafka. 452-454
- Integrated analysis of concurrent distributed systems using Markovian process algebraMarco Bernardo, Lorenzo Donatiello, Roberto Gorrieri. 455-457
- Modelling techniques for evolving distributed applicationsR. C. Sekar, Yow-Jian Lin, C. R. Ramakrishnan. 461-476
- A synthesis algorithm of a protocol model from a single entityBhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori. 477-492
- A new distributed algorithm for implementation of LOTOSZixue Cheng, Tongjun Huang, Norio Shiratori. 493-504
- Stepwise transformations for fault-tolerant design of CCS processesTomasz Janowski. 505-520