ARITHMETIK UND MASCHINE ANWEISUNGEN

Autor: BUENO AROCA ANTONIO.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA.
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Ort der Vorbereitung: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Inhaltsangabe: TPALp ist eine Sprache für algebraische Beschreibung von parallelen Systemen mit der Fähigkeit zum Ausdruck bringen zeitliche Verhalten und die Wahrscheinlichkeit, mit dringenden Interaktionen. Diese These stellt die wichtigsten Merkmale dieser Sprache, seine operativen Semantik und eine Übersetzung der Begriffe TPALp in einer bestimmten Klasse von Petri-Netzen und zeitlich Wahrscheinlichkeit. Die Sprache enthält eine Auswahl der Betreiber Wahrscheinlichkeit, ein Präfix und eine Zeitüberschreitung Betreiber Betreiber dringend Präfix, zusätzlich zu anderen Betreibern, die sich in der konventionellen Prozess-Algebren. Ein wichtiges Merkmal der Sprache ist die Behandlung von Dringlichkeit, weil in jedem Augenblick ist dringend Maßnahmen zur Umsetzung viele wie möglich, um voll und ganz mit den dringenden Erfordernissen einer Spezifikation. Auch in dieser Arbeit behandelt wurden Aspekte der compositionality Netzwerk, die Beschränkung des Anwendungsbereichs auf Netzwerke aus der Übersetzung von Begriffen und eine Methode für die Netzwerk-Implementierung.

Autor: BUENO AROCA ANTONIO.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA.
Ort der Lesung: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Ort der Vorbereitung: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Inhaltsangabe: TPALp ist eine Sprache für algebraische Beschreibung von parallelen Systemen mit der Fähigkeit zum Ausdruck bringen zeitliche Verhalten und die Wahrscheinlichkeit, mit dringenden Interaktionen. Diese These stellt die wichtigsten Merkmale dieser Sprache, seine operativen Semantik und eine Übersetzung der Begriffe TPALp in einer bestimmten Klasse von Petri-Netzen und zeitlich Wahrscheinlichkeit. Die Sprache enthält eine Auswahl der Betreiber Wahrscheinlichkeit, ein Präfix und eine Zeitüberschreitung Betreiber Betreiber dringend Präfix, zusätzlich zu anderen Betreibern, die sich in der Álgebras Prozesse Klassiker. Ein wichtiges Merkmal der Sprache ist die Behandlung von Dringlichkeit, weil in jedem Augenblick ist dringend Maßnahmen zur Umsetzung viele wie möglich, um voll und ganz mit den dringenden Erfordernissen einer Spezifikation. Diese These wurde auch mit Aspekten der compositionality Netzwerk, die Beschränkung des Anwendungsbereichs auf Netzwerke aus der Übersetzung von Begriffen und eine Methode für die Netzwerk-Implementierung.