FBT 1992: Magdeburg, Germany

Hartmut König (Ed.): Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992. K. G. Saur Verlag 1993, ISBN 3-598-22409-5

@proceedings{DBLP:conf/fbt/1992,
  editor    = {Hartmut K{\"o}nig},
  title     = {Formale Methoden f{\"u}r verteilte Systeme, GI/ITG-Fachgespr{\"a}ch,
               Magdeburg, 10.-11. Juni 1992},
  booktitle = {FBT},
  publisher = {K. G. Saur Verlag},
  year      = {1993},
  isbn      = {3-598-22409-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Claus Dendorfer, Rainer Weber: An Informal Introduction to the Design Method FOCUS. 9-20
H. Peter Gumm: MUNITY. 21-34
Robert Nahm: Semantics of simple SDL. 35-48
Klaus Ahrens, Joachim Fischer, Andreas Prinz, Dorota Witaszek: Eine Entwicklungsumgebung für SDL'92. 49-65
Jens Grabowski, Ekkart Rudolph: Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description to Traces within Communications Systems. 66-87
Peter B. Ladkin, Stefan Leue: On the Semantics of Message Sequence Charts. 88-104
Norbert Götz, Ulrich Herzog, Michael Rettelbach: TIPP - Introduction and Application to Protocol Performance Analysis. 105-125
Monika Heiner: A Petri Net View of Process Communication. 126-141
Thomas Held: Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen. 142-160
Detlef Kreuz, Reinhard Gotzhein: A Compiler for the Parallel Execution of Estelle Specification. 161-178

Last update Fri May 25 08:14:00 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page