Topology in Process Calculus formatIsbn:Hardcover - 9780387950921 Die Arbeit hat das Ziel

Die Arbeit hat das Ziel

Table of contents05

Einen Forschungszweig der Neuroökonomie bildet das Neuromarketing

In Berlin schreibt er Kritiken für die »Berlinische Privilegierte Zeitung« und schreibt an ersten Dramen

1 Zum Außerschulischen Lernort

Topology in Process Calculus formatIsbn:Hardcover - 9780387950921 Die Arbeit hat das ZielCommunication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence