truly-concurrent) semantyka dla wariantu CS

Speaker(s)

Artur Zawłocki

Affiliation

Uniwersytet Warszawski

Date

April 26, 2010, 10:15 a.m.

Room

room 4790

Title in Polish

Prawdziwie współbieżna

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Na seminarium przedstawię (w zarysie) semantykę operacyjną i
denotacyjną rachunku procesów, nad którym ostatnio pracuję. Rachunek
przypomina CSP Hoare'a, ma jednak kilka nietypowych cech:

- Alfabety procesów podzielone są na akcje wejściowe i wyjściowe.

- Semantyka uwzględnia obliczenia nieskończone bezpośrednio (a nie
jako granice łańcuchów obliczeń skończonych).

- Obliczenia procesu reprezentowane są nie przez ciągi (czyli liniowe
porządki) akcji, a przez częściowe porządki etykietowane akcjami (tzw.
pomsety).

---