Als «process-algebra» getaggte Fragen

1
Was sind die historischen Wurzeln von Milners Bigraphs?
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 Seminaraufzeichnungen von kurz vor seinem Tod beschreiben die jüngsten …
2
Wenn ein Prozess einen anderen Prozess erzeugt
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 anderen …
5
Verwendung von Prozesskalkülen und PL-Theorie für die Entwicklung moderner Programmiersprachen
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 stoße, ist, ob entweder PL-Theorie oder Prozessrechnung …
1
Prozessmodellierung mit feinkörnigen Ortsvorstellungen
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, dass der Standort eines Agenten in einem (realen oder virtuellen) Koordinatenraum ausgedrückt wird? Es scheint mir, …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.