https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Prozesskalk%C3%BCl 2026-06-05T18:13:48Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Prozesskalk%C3%BCl&diff=513559&oldid=prev 2024-12-02T22:32:15Z

<p></p> <p><b>Neue Seite</b></p><div>&#039;&#039;&#039;Prozesskalküle&#039;&#039;&#039; (oder auch &#039;&#039;&#039;Prozessalgebren&#039;&#039;&#039;) umfassen eine große Familie von Ansätzen zur formalen [[Modell (Wissenschaft)|Modellierung]] von [[Nebenläufigkeit|nebenläufigen]] [[System|Systemen]]. <br /> <br /> Sie erlauben die abstrakte Beschreibung von [[Interaktion]], Kommunikation und [[Synchronisation]] zwischen einer Gruppe von unabhängigen [[Software-Agent|Agent]]en oder [[Prozess (Informatik)|Prozess]]en. [[Algebra]]ische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen.<br /> <br /> Beispiele für Prozess[[kalkül]]e sind [[Communicating Sequential Processes|CSP]], [[Calculus of Communicating Systems|CCS]], [[Algebra of Communicating Processes|ACP]] oder der [[Pi-Kalkül]].<br /> <br /> {{SORTIERUNG:Prozesskalkul}}<br /> [[Kategorie:Theoretische Informatik]]<br /> [[Kategorie:Algebra]]<br /> [[Kategorie:Logikkalkül]]</div>

imported>Skranon