Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen.
Sie erlauben die abstrakte Beschreibung von Interaktion, Kommunikation und Synchronisation zwischen einer Gruppe von unabhängigen Agenten oder Prozessen. Algebraische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen.
Beispiele für Prozesskalküle sind CSP, CCS, ACP oder der Pi-Kalkül.
Wikimedia Foundation.
Communicating Sequential Processes — (CSP) ist eine von Tony Hoare an der Universität Oxford entwickelte Prozessalgebra zur Beschreibung von Interaktion zwischen kommunizierenden Prozessen. Die Idee wurde als imperative Sprache 1978 von Tony Hoare erstmals vorgestellt, dann von ihm… … Deutsch Wikipedia
C.A.R. Hoare — Tony Hoare, 2005 Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort… … Deutsch Wikipedia
C. A. R. Hoare — Tony Hoare, 2005 Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort… … Deutsch Wikipedia
CCS — Die Buchstaben CCS stehen im Bereich der Technik für CO2 Abscheidung und Speicherung (Carbon Dioxide Capture and Storage), die Abscheidung von CO2 in einem Kraftwerksprozess und anschließende Speicherung in geologischen Strukturen Combined… … Deutsch Wikipedia
CSP — Die Abkürzung CSP steht für in der Informatik: Catra Streaming Platform, Softwarepaket Communicating Sequential Processes, Prozessalgebra Constraint Satisfaction Problem, algorithmische Problembeschreibung Content Security Policy, ein Verfahren… … Deutsch Wikipedia
Charles Antony Richard Hoare — Tony Hoare, 2005 Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort… … Deutsch Wikipedia
Csp — Die Abkürzung CSP steht für in der Informatik: Catra Streaming Platform, Softwarepaket Communicating Sequential Processes, Prozessalgebra Constraint Satisfaction Problem, algorithmische Problembeschreibung Cryptographic Service Provider… … Deutsch Wikipedia
Message passing — In der Informatik ist der Nachrichtenaustausch (engl. Message Passing) eine Kommunikationsform, die in der Nebenläufigkeits Programmierung (Concurrent programming), der parallelen Programmierung (Parallel programming), der objektorientierten… … Deutsch Wikipedia
Tony Hoare — Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort Algorithmus sowie des… … Deutsch Wikipedia
