English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Die Programmiersprache CSP (Communicating Sequential Processes) stellt eine Menge von Grundoperationen zum Entwurf und zur Ausfiihrung verteilter Berechnungen bereit. Ermöglicht wird damit die Programmierung gekoppelter, autonomer Prozessoren. Dabei gilt die EndeErkennung als ein fundamentales Problem, indem jedem Prozessor mitzuteilen ist, ob oder wann eine verteilte Berechnung terminiert hat bzw. ein Deadlock eingetreten ist. Eine Sammlung von Lösungsvorschlägen mit unterschiedlichen Voraussetzungen, Eigenschaften und Aufwandsschranken wird analysiert und gegenübergestellt. Zum praktischen Einsatz sind alle vorgestellten Verfahren selbst wieder in CSP formuliert.

Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen: Program-Transforms for Termination Detection in Distributed Computations