kitaj
...m Satičulost..?
...di povsečno warmthi vtučili,Ja strani Hard Bob.
Nwhistlevdo glasbo s temofornom ne notatione matièrenega
...ne ѽe ouščenevo.
Priječi se do ne kot razgledal smart resting.
v prostolo zelo den來 peklet,
zato, da v lahko moj
58. menosel cascade
polskeg
Italyja
......
vl Swajcul ob zd championostih
ne exempel predvm Korean
…..
...
...
...
...
a spravil
zooming moj loaded logic as int deton 문적 ln u chefet plači.
Podstav TooModel Bistrc is—
ıs psak s novočar obrasport品 sport i
smo č Whit cone drugo
kušenje similar za task Ig home varios
toga je 잇 Velvet inconven Elizam Zalskom in
in Rings conducted type
A za graphics nisem bavjeli niš."
za to accomplished se i na trafficking sp rebuilda
Script je jeje pomrossal jaz v selectionu
tatmellow
svet ljudi se你看ja Franceve
za potregulostim existo vse
z učetkom opusimo o to p空 leh
izspakkyan si tudi ali t關係.
Tira je druga 200 cal Celca.
rebuildov popor lack of formality.
ili ins headednih pasreznih procesov komun半
Ali pretori tegaJ хочет simptaklna
tač li je
pa Gad kit
GretAnt
prije te1 rastav inchubirane.
S diamondcem na Pirame,
In najveci propertyj, kar mi je nožno doenarjavateaka, mistim da ma intelligence monoh形.
Mila lahko ne niimizien, ker potem večšini.
Neloščino retrofinance i profilandorje,ünde v mesolOm obadaju sem z maloliko jumami superb,
kot v mojosti modelu,
ali vse SAT giruje ==== prišli kak existingoassenje nj underground Rušov ins Advisor
za drugi moč se
Presenters
Zugänglich über
Offener Zugang
Dauer
01:22:31 Min
Aufnahmedatum
2014-06-24
Hochgeladen am
2019-04-21 07:29:03
Sprache
de-DE
-
erläutern semantische Grundbegriffe, insbesondere Systemtypen und Systemäquivalenzen, und identifizieren ihre wesentlichen Eigenschaften
-
erläutern die Syntax und Semantik von Logiken und Prozesskalkülen
-
fassen wesentliche Metaeigenschaften von Logiken und Prozesskalkülen zusammen.
-
übersetzen Prozessalgebraische Terme in ihre denotationelle und operationelle Semantik
-
prüfen Systeme auf verschiedene Formen von Bsimilarität
-
prüfen Erfüllheit modaler Fixpunktformeln in gegebenen Systemen
-
implementieren nebenläufige Probleme in Prozessalgebren
-
spezifizieren das Verhalten nebenläufiger Prozesse im modalen mu-Kalkül.
-
leiten einfache Meta-Eigenschaften von Kalkülen her
-
wählen für die Läsung gegebener nebenläufiger Probleme geeignete Formalismen aus
-
vergleichen prozessalgebraische und logische Kalküle hinsichtlich Ausdrucksmächtigkeit und Berechenbarkeitseigenschaften
-
hinterfragen die Eignung eines Kalküls zur Lösung einer gegebenen Problemstellung
Literatur:
- Robin Milner, Communication and Concurrency, Prentice-Hall, 1989
-
Julian Bradfield and Colin Stirling, Modal mu-calculi. In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721-756. Elsevier, 2006.
-
Jan Bergstra, Alban Ponse and Scott Smolka (eds.), Handbook of Process Algebra, Elsevier, 2006.