Models and axioms for a fragment of real time process algebra /

Uloženo v:
Podrobná bibliografie
OCLC:31625529
Hlavní autor: Klusener, Anton Stefanus
Korporativní autor: Technische Universiteit Eindhoven
Jazyk:English
Vydáno: Netherlands : Technische Universiteit Eindhoven, 1993.
Témata:
Real-time processing.
Algebra.
Procesalgebra.
Médium:

Diplomová práce Monograph

Note that CRL will digitize material from the collection when copyright allows.

Popis
Popis jednotky:Vita.
Contains summary.
Fyzický popis:x, 216 p. ; 24 cm.
Bibliografie:Includes bibliographical references (p. 210-215)
Místo vydání:Netherlands.

Podobné jednotky