Hochschulschrift
Hoares Communicating Sequential Processes: Erweiterung des Spurenmodells
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
147 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Kaiserslautern, Univ., Diss., 1985
- Schlagwort
-
Modell (Mathematik)
Programmiersprache
Programmiersprache
- Urheber
-
Reinecke, Rüdiger
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:05 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Reinecke, Rüdiger
Ähnliche Objekte (12)
Sequential and parallel functions as processes
VMEbus Controller Synthesis by Communicating Asynchronous Sequential Circuits
Sequential change-point detection for diffusion processes
Automatic verification of sequential infinite state processes
Specification-oriented semantics for communicating processes
Communicating with electrogenic cells
Positioning and communicating with 802.11
Learning communicating and nondeterministic automata
Learning communicating and nondeterministic automata
Systems of Parallel Communicating Restarting Automata
Optimal Sequential Kernel Detection for Dependent Processes
The Sequencing Problem in Sequential Investigation Processes
Sequential and parallel functions as processes
VMEbus Controller Synthesis by Communicating Asynchronous Sequential Circuits
Sequential change-point detection for diffusion processes
Automatic verification of sequential infinite state processes
Specification-oriented semantics for communicating processes
Communicating with electrogenic cells
Positioning and communicating with 802.11
Learning communicating and nondeterministic automata
Learning communicating and nondeterministic automata
Systems of Parallel Communicating Restarting Automata
Optimal Sequential Kernel Detection for Dependent Processes
The Sequencing Problem in Sequential Investigation Processes
Sequential and parallel functions as processes
VMEbus Controller Synthesis by Communicating Asynchronous Sequential Circuits
Sequential change-point detection for diffusion processes
Automatic verification of sequential infinite state processes
Specification-oriented semantics for communicating processes
Communicating with electrogenic cells
Positioning and communicating with 802.11
Learning communicating and nondeterministic automata
Learning communicating and nondeterministic automata
Systems of Parallel Communicating Restarting Automata
Optimal Sequential Kernel Detection for Dependent Processes