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 BibTeX

@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 BibTeX
H. Peter Gumm: MUNITY. 21-34 BibTeX
Robert Nahm: Semantics of simple SDL. 35-48 BibTeX
Klaus Ahrens, Joachim Fischer, Andreas Prinz, Dorota Witaszek: Eine Entwicklungsumgebung für SDL'92. 49-65 BibTeX
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 BibTeX
Peter B. Ladkin, Stefan Leue: On the Semantics of Message Sequence Charts. 88-104 BibTeX
Norbert Götz, Ulrich Herzog, Michael Rettelbach: TIPP - Introduction and Application to Protocol Performance Analysis. 105-125 BibTeX
Monika Heiner: A Petri Net View of Process Communication. 126-141 BibTeX
Thomas Held: Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen. 142-160 BibTeX
Detlef Kreuz, Reinhard Gotzhein: A Compiler for the Parallel Execution of Estelle Specification. 161-178 BibTeX