Können Sie zuverlässige Sendungen im Pi-Kalkül modellieren? Wenn das so ist, wie? Wenn nicht: Gibt es ähnliche Prozessalgebren, wo Sie können? Was ich ausprobiert habe: Wenn der Absender eine Nachricht an alle bis senden möchte , können Sie schreiben ! ( und bis . Aber wie können Sie sicherstellen,...
Robin Milner definierte Bigraphs als eine Art grafische Struktur mit grafischer Struktur, bei der die Knoten jedoch verschachtelt werden können. Sie verallgemeinern Prozesskalküle wie CCS und den Kalkül, aber Milner scheint beabsichtigt zu haben, dass sie viel allgemeiner verwendet werden: Die...
Mein Hintergrund liegt in der Komplexitätstheorie / -logik (wo es meistens nur einen Prozess gibt) und im verteilten Rechnen (wo es Prozesse gibt und einer oder mehrere im Laufe der Zeit ausfallen könnten). Jetzt möchte ich jedoch in der Lage sein, etwas über einen Prozess zu sagen, der einen...
Seit einiger Zeit interessiere ich mich sehr für Programmiersprachtheorie und Prozesskalküle und habe begonnen, sie zu studieren. Um ehrlich zu sein, würde es mir nichts ausmachen, Karriere zu machen. Ich finde die Theorie unglaublich faszinierend. Eine ständige Frage, auf die ich immer wieder...
Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren,...