Hochschulschrift
Hoares Communicating Sequential Processes: Erweiterung des Spurenmodells
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
147 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Kaiserslautern, Univ., Diss., 1985
- Keyword
-
Modell (Mathematik)
Programmiersprache
Programmiersprache
- Creator
-
Reinecke, Rüdiger
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:05 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Reinecke, Rüdiger
Other Objects (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