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=609

• Esprit basic research action 3148 DEMON (Design Methods Based on Nets) - aims, scope and achievements
  Eike Best
  Lecture Notes in Computer Science 609, 1992, pp. 1-20
• The box calculus: a new causal algebra with multi-label communication
  Eike Best, Raymond Devillers, Jon G. Hall
  Lecture Notes in Computer Science 609, 1992, pp. 21-69
• Modular functional modelling of Petri nets with individual tokens
  Manfred Broy, Thomas Streicher
  Lecture Notes in Computer Science 609, 1992, pp. 70-88
• Interleaving semantics and action refinement with atomic choice
  Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz
  Lecture Notes in Computer Science 609, 1992, pp. 89-107
• Maximality preservation and the ST-idea for action refinements
  Raymond Devillers
  Lecture Notes in Computer Science 609, 1992, pp. 108-151
• A fifo-net model for processes with asynchronous communication
  J. Fanchon
  Lecture Notes in Computer Science 609, 1992, pp. 152-178
• A basic-net algebra for program semantics and its application to OCCAM
  Richard Hopkins, Jon Hall, Oliver Botti
  Lecture Notes in Computer Science 609, 1992, pp. 179-214
• The effect of vector synchronization: Residue and loss
  N.W. Keesmaat, H.C.M. Kleijn
  Lecture Notes in Computer Science 609, 1992, pp. 215-250
• Modelling systems with dynamic priorities
  Maciej Koutny
  Lecture Notes in Computer Science 609, 1992, pp. 251-266
• On distributed languages and models for concurrency
  Brigitte Rozoy
  Lecture Notes in Computer Science 609, 1992, pp. 267-291
• Partial words versus processes: A short comparison
  Walter Vogler
  Lecture Notes in Computer Science 609, 1992, pp. 292-303
• A survey of basic net models and modular net classes
  Luca Bernardinello, Fiorella de Cindio
  Lecture Notes in Computer Science 609, 1992, pp. 304-351
• Stuctural techniques and performance bounds of stochastic Petri net models
  Javier Campos, Manuel Silva
  Lecture Notes in Computer Science 609, 1992, pp. 352-391
• A survey of recognizable languages of infinite traces
  Paul Gastin, Antoine Petit
  Lecture Notes in Computer Science 609, 1992, pp. 392-409
• A survey of equivalence notions for net based systems
  L. Pomello, G. Rozenberg, C. Simone
  Lecture Notes in Computer Science 609, 1992, pp. 410-472