Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Installieren
Schneller Zugriff als Browser!
 

Communicating Sequential Processes

Index Communicating Sequential Processes

Communicating Sequential Processes (CSP) ist eine von Tony Hoare an der Universität Oxford entwickelte Prozessalgebra zur Beschreibung von Interaktion zwischen kommunizierenden Prozessen.

21 Beziehungen: Alphabet, Automat (Informatik), C++, CiteSeerX, Ereignis, Go (Programmiersprache), Implementierung, Informatik, Interaktion, Java (Programmiersprache), Komposition (Mathematik), Message Passing Interface, Occam, Parallele Virtuelle Maschine, Programmierschnittstelle, Prozess (Informatik), Prozesskalkül, Rekursion, Tony Hoare, Transitionssystem, University of Oxford.

Alphabet

Schriftmusterblatt der Schriftgießerei von William Caslon Ein Alphabet (frühneuhochdeutsch von kirchenlateinisch alphabetum, von alphábētos) ist die Gesamtheit der kleinsten Schriftzeichen bzw.

Neu!!: Communicating Sequential Processes und Alphabet · Mehr sehen »

Automat (Informatik)

Ein Automat oder eine abstrakte Maschine ist in der Informatik, speziell in der Automatentheorie, das Modell eines digitalen, zeitdiskreten Rechners.

Neu!!: Communicating Sequential Processes und Automat (Informatik) · Mehr sehen »

C++

C++ ist eine von der ISO genormte Programmiersprache.

Neu!!: Communicating Sequential Processes und C++ · Mehr sehen »

CiteSeerX

Die CiteSeerX, vormals CiteSeer (Scientific Literature Digital Library, „Digitale Bibliothek wissenschaftlicher Literatur“), ist eine Suchmaschine und Zitationsdatenbank für frei zugängliche wissenschaftliche Informationen im Internet.

Neu!!: Communicating Sequential Processes und CiteSeerX · Mehr sehen »

Ereignis

Ein Ereignis (aus althochdeutsch irougen, neuhochdeutsch eräugen „vor Augen stellen, zeigen“) ist im allgemeinen Sinn eine Situation, die durch Dynamik oder Veränderung gekennzeichnet ist.

Neu!!: Communicating Sequential Processes und Ereignis · Mehr sehen »

Go (Programmiersprache)

Go (auch Golang) ist eine kompilierbare Programmiersprache, die Nebenläufigkeit und automatische Speicherbereinigung unterstützt.

Neu!!: Communicating Sequential Processes und Go (Programmiersprache) · Mehr sehen »

Implementierung

Eine Implementierung – auch Implementation (über ‚Ausführung‘, ‚Durchführung‘; von spätlateinisch implementum ‚Gerät‘ zu ‚anfüllen‘, ‚erfüllen‘) genannt – ist das Implementieren oder das Implementiertwerden, also die Realisierung oder Umsetzung von festgelegten Strukturen und Prozessabläufen in einem System unter Berücksichtigung von Rahmenbedingungen, Regeln und Zielvorgaben, im Sinne einer Spezifikation.

Neu!!: Communicating Sequential Processes und Implementierung · Mehr sehen »

Informatik

Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.

Neu!!: Communicating Sequential Processes und Informatik · Mehr sehen »

Interaktion

Interaktion (von ‚zwischen‘ und actio ‚Tätigkeit‘, ‚Handlung‘) bezeichnet das wechselseitige aufeinander Einwirken von Akteuren oder Systemen und ist eng verknüpft mit den übergeordneten Begriffen Kommunikation, Handeln und Arbeit.

Neu!!: Communicating Sequential Processes und Interaktion · Mehr sehen »

Java (Programmiersprache)

Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.

Neu!!: Communicating Sequential Processes und Java (Programmiersprache) · Mehr sehen »

Komposition (Mathematik)

Die Komposition von Funktionen Der Begriff Komposition bedeutet in der Mathematik meist die Hintereinanderschaltung von Funktionen, auch als Verkettung, Verknüpfung oder Hintereinanderausführung bezeichnet.

Neu!!: Communicating Sequential Processes und Komposition (Mathematik) · Mehr sehen »

Message Passing Interface

Message Passing Interface (MPI) ist ein Standard, der den Nachrichtenaustausch bei parallelen Berechnungen auf verteilten Computersystemen beschreibt.

Neu!!: Communicating Sequential Processes und Message Passing Interface · Mehr sehen »

Occam

Occam ist eine imperative, parallele Programmiersprache, die auf Communicating Sequential Processes aufbaut.

Neu!!: Communicating Sequential Processes und Occam · Mehr sehen »

Parallele Virtuelle Maschine

Die Parallele Virtuelle Maschine (Abkürzung PVM) ist ein Public-Domain-Softwarepaket, mit dem auf Standard-PCs verteilte Anwendungen realisierbar sind.

Neu!!: Communicating Sequential Processes und Parallele Virtuelle Maschine · Mehr sehen »

Programmierschnittstelle

Quelltextkompatibilität, d. h. Quelltext kann ohne Anpassungen für die jeweiligen Systeme erfolgreich kompiliert werden. Eine Programmierschnittstelle (auch Anwendungsschnittstelle, genauer Schnittstelle zur Programmierung von Anwendungen), häufig nur kurz API genannt (von, wörtlich ‚Anwendungs­programmier­schnittstelle‘), ist ein Programmteil, der von einem Softwaresystem anderen Programmen zur Anbindung an das System zur Verfügung gestellt wird.

Neu!!: Communicating Sequential Processes und Programmierschnittstelle · Mehr sehen »

Prozess (Informatik)

Ein Prozess (auch Task oder Programminstanz genannt) ist ein Computerprogramm zur Laufzeit.

Neu!!: Communicating Sequential Processes und Prozess (Informatik) · Mehr sehen »

Prozesskalkül

Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen.

Neu!!: Communicating Sequential Processes und Prozesskalkül · Mehr sehen »

Rekursion

Unendlichfache Spiegelung als Beispiel für '''Rekursion''': Die Person sitzt mit vorgehaltenem Spiegel einem größeren Wandspiegel gegenüber. Das jeweils folgende Spiegelbild enthält sich selbst als Teil. Als Rekursion wird ein prinzipiell unendlicher Vorgang, der sich selbst als Teil enthält oder mithilfe von sich selbst definierbar ist, bezeichnet.

Neu!!: Communicating Sequential Processes und Rekursion · Mehr sehen »

Tony Hoare

Sir Tony Hoare (2011) 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.

Neu!!: Communicating Sequential Processes und Tony Hoare · Mehr sehen »

Transitionssystem

Ein Transitionssystem (englisch transition system) beschreibt in der Automatentheorie die möglichen Zustände eines zustandsbasierten Systems und die möglichen Übergänge (Transitionen) zwischen diesen Zuständen.

Neu!!: Communicating Sequential Processes und Transitionssystem · Mehr sehen »

University of Oxford

Die University of Oxford (rechtlich The Chancellor, Masters and Scholars of the University of Oxford), deutsch Universität Oxford, in Oxford (England) ist eine der ältesten und renommiertesten Universitäten der Welt.

Neu!!: Communicating Sequential Processes und University of Oxford · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »