Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=623

• Interfaces between languages for communicating systems
  Ernst-Rüdiger Olderog
  Lecture Notes in Computer Science 623, 1992, pp. 641-655
• Toward formal development of programs from algebraic specifications: Model-theoretic foundations
  Donald Sannella, Andrzej Tarlecki
  Lecture Notes in Computer Science 623, 1992, pp. 656-671
• Program composition via unification
  Limor Fix, Nissim Francez, Orna Grumberg
  Lecture Notes in Computer Science 623, 1992, pp. 672-684
• Barbed dissimulation
  Robin Milner, Davide Sangiorgi
  Lecture Notes in Computer Science 623, 1992, pp. 685-695
• Checking equivalences between concurrent systems of finite agents
  Alexander Rabinovich
  Lecture Notes in Computer Science 623, 1992, pp. 696-707
• Testing preorders for probabilistic processes
  Rance Cleaveland, Scott A. Smolka, Amy Zwarico
  Lecture Notes in Computer Science 623, 1992, pp. 708-719