Indice

A

a view of the design process abbreviations and terms

about ccs axiomatic equivalence

B

base concepts bisimulation bisimulation equivalence

bisimulation equivalence definiton bisimulation relation BUFF buffer BUFF SW architecture

C

CCS CCS by operational semantics ccs examples_1 ccs examples_12 concurrency workbench of the new century

considerazioni sul parallelismo context-free grammars context-sensitive grammars CWB list of more used commands cwb-nc installation cwb-nc note d'uso

D

deterministic finite automaton

E

edinburgh concurrency workbench

equivalence classes

F

FIFO buffer FIFO SW architecture

formal grammar formal language

I

installazione di centos 6

installazione di cwb nella vm installazione di virtualbox

M

model checking

N

non deterministic interpretation of regular expressions intutition

non deterministic interpretation of regular expressions semantic nondeterministic finite automaton

O

operational semantics sequential composition

P

pc: concurrent specification pc: sequencial specification

PIPE buffer PIPE SW architecture producer consumer

R

R.E. by operational semantics refinement regular expressions

regular expressions examples regular expressions trace equivalence regular grammars rgda arbiter

S

semantics

simulation relation

T

to do & remarks

U

unrestricted grammars