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

• Data-flow synchronous languages
  Albert Benveniste, Paul Caspi, Paul le Guernic, Nicholas Halbwachs
  Lecture Notes in Computer Science 803, 1994, pp. 1-45
• Process algebra with backtracking
  J.A. Bergstra, A. Ponse, J.J. van Wamel
  Lecture Notes in Computer Science 803, 1994, pp. 46-91
• Some chemical abstract machines
  Gérard Boudol
  Lecture Notes in Computer Science 803, 1994, pp. 92-123
• Verification tools for finite-state concurrent systems
  E. Clarke, O. Grumberg, D. Long
  Lecture Notes in Computer Science 803, 1994, pp. 124-175
• Linear logic on Petri nets
  Uffe Engberg, Glynn Winskel
  Lecture Notes in Computer Science 803, 1994, pp. 176-229
• An introduction to the theoretical aspects of coloured Petri nets
  Kurt Jensen
  Lecture Notes in Computer Science 803, 1994, pp. 230-272
• Temporal verification of simulation and refinement
  Yonit Kesten, Zohar Manna, Amir Pnueli
  Lecture Notes in Computer Science 803, 1994, pp. 273-346
• Verification and specification of concurrent programs
  Leslie Lamport
  Lecture Notes in Computer Science 803, 1994, pp. 347-374
• Simulation techniques for proving properties of real-time systems
  N. Lynch
  Lecture Notes in Computer Science 803, 1994, pp. 375-424
• Relationships between models of concurrency
  Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
  Lecture Notes in Computer Science 803, 1994, pp. 425-476
• Interaction diagrams
  Joachim Parrow
  Lecture Notes in Computer Science 803, 1994, pp. 477-508
• Algebraic theories for name-passing calculi
  Joachim Parrow, Davide Sangiorgi
  Lecture Notes in Computer Science 803, 1994, pp. 509-529
• Initial algebra and final coalgebra semantics for concurrency
  Jan Rutten, Daniele Turi
  Lecture Notes in Computer Science 803, 1994, pp. 530-582
• Logical specifications of infinite computations
  Wolfgang Thomas, Helmut Lescow
  Lecture Notes in Computer Science 803, 1994, pp. 583-621
• Partial order based design of concurrent systems
  Job Zwiers, Wil Janssen
  Lecture Notes in Computer Science 803, 1994, pp. 622-684