7. FORTE 1994: Berne, Switzerland

@proceedings{DBLP:conf/forte/1994,
  editor    = {Dieter Hogrefe and
               Stefan Leue},
  title     = {Formal Description Techniques VII, Proceedings of the 7th IFIP
               WG6.1 International Conference on Formal Description Techniques,
               Berne, Switzerland, 1994},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {6},
  year      = {1995},
  isbn      = {0-412-64450-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Nancy A. Lynch: Proving performance propterties (even probabilistic ones). 3-20

Part One - New Techniques

• Deh-Min Wu: Semantic-oriented description techniques for network management information modelling. 23-36
• Claudia Popien, Bernd Meyer: A service request description language. 37-52

Part Two - Applications

• Thierry Cattel: Modelization and verification of a multiprocessor realtime OS kernel. 55-70
• O. González, V. G. García, M. Riesco, Enrique Vázquez: Design of operating systems using the F.D.T. ESTELLE. 71-86
• Bairong Zhang, Alistair Munro, Michael Barton: The formalization and analysis of CCR protocol and service. 87-99
• Jim Davies, Matt Wallis: On the formal specification and verification of network routing algorithms. 100-115

Part Three - FDTs go Commercial

• S. Le Bricquir, A. Lauzanne: Validation of supplementary services in the context of interoperability. 119-134
• Juan C. Yelmo, F. Javier Carrasco, Carlos Sánchez, Juan J. Gil, C. Ramos, M. I. Felipe: FDT based development of an interworking unit between LANs and X.25 networks. 135-150
• Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben: Using formal specification and simulation: practical experience with distributed applications. 151-162

Part Four - Verification

• Pim Kars: Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. 165-180
• Alain Kerbrat: Reachable state space analysis of LOTOS specifications. 181-196
• Gerard J. Holzmann, Doron Peled: An improvement in formal verification. 197-211

Position Statements

• Hacène Fouchal, Ana R. Cavalli: A modal based verification for LOTOS. 215-217
• Alessandro Fantechi, Stefania Gnesi, R. Sacchelli: Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. 218-220
• B. Botma, Rom Langerak: Simulator for LOTOS to study the independence and causality of events. 221-223

Part Five - Verification and Real-Time

• Conrado Daws, Alfredo Olivero, Sergio Yovine: Verifying ET-LOTOS programmes with KRONOS. 227-242
• Wang Yi, Paul Pettersson, Mats Daniels: Automatic verification of real-time communicating systems by constraint-solving. 243-258
• Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch: Verifying timing properties of concurrent algorithms. 259-273

Position Statements

• J. R. Rowson: Formal specification and analysis of an ISO communications protocol. 277-279
• Jean-Charles Grégoire: Verification model reduction through abstractions. 280-282
• Kenneth J. Turner, Ashley McClenaghan: Visual animation of LOTOS using SOLVE. 283-285

Invited Talk

• Leslie Lamport: How good is your specification method? 289

Part Six - Semantics

• Jean-Pierre Courtiat, Djamel-Eddine Saïdouni: Relating maximality-based semantics to action refinement in process algebras. 293-308
• Franco Fiore, Fosca Giannotti: An abstract interpreter for the specification language LOTOS. 309-323
• Eckhardt Holz, Ketil Stølen: An attempt to embed a restricted version of SDL as a target language in Focus. 324-339
• Jos C. M. Baeten, Sjouke Mauw: Delayed choice: an operator for joining Message Sequence Charts. 340-354
• Peter B. Ladkin, Stefan Leue: Four issues concerning the semantics of Message Flow Graphs. 355-369

Position Statements

• Andreas Vogel: Towards a formal computational model for distributed multimedia applications. 373-375
• Jan Bredereke, Reinhard Gotzhein: Specification, detection and resolution of IN feature interactions with Estelle. 376-378
• Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno: Application of protocol sythesis technique to resolution of the service interaction problem. 379-381

Invited Talk

• Gerard J. Holzmann: Proving the value of formal methods. 385-396

Part Seven - Testing and Performance

• Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. 399-414
• Marc Phalippou: Test sequence generation using Estelle or SDL structure information. 415-430
• H. Kremer: Derivation of efficient implementations from formal descriptions - issues, methods and conformance. 431-446

Position Statements

• Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach: Stochastic process algebras: integrating qualitative and quantitative modelling. 449-451
• Stefan Böhmer, Ralf Klafka: A new approach to performance evaluation of formally specified protocols. 452-454
• Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: Integrated analysis of concurrent distributed systems using Markovian process algebra. 455-457

Part Eight - Refinement

• R. C. Sekar, Yow-Jian Lin, C. R. Ramakrishnan: Modelling techniques for evolving distributed applications. 461-476
• Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori: A synthesis algorithm of a protocol model from a single entity. 477-492
• Zixue Cheng, Tongjun Huang, Norio Shiratori: A new distributed algorithm for implementation of LOTOS. 493-504
• Tomasz Janowski: Stepwise transformations for fault-tolerant design of CCS processes. 505-520