Donazioni 15 September, 2024 – 1 Ottobre, 2024
Sulla raccolta fondi
ricerca dei libri
libri
Donazioni:
58.0% compiuto
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
search
1
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann [MK], Morgan Kaufmann Publishers, Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
Anno:
2024
Lingua:
english
File:
PDF, 8.96 MB
I tuoi tag:
0
/
5.0
english, 2024
2
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann [MK], Morgan Kaufmann Publishers, Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
Anno:
2024
Lingua:
english
File:
PDF, 14.77 MB
I tuoi tag:
0
/
5.0
english, 2024
3
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann [MK], Morgan Kaufmann Publishers, Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
Anno:
2024
Lingua:
english
File:
PDF, 14.77 MB
I tuoi tag:
0
/
5.0
english, 2024
4
Handbook of Truly Concurrent Process Algebra
Elsevier
Yong Wang
bisimulation
denoted
τi
corresponding
probabilistic
strongly
concurrent
prove
transition
pomset
omit
αn
step
sending
α1
reading
hhp
sends
theorem
receives
kab
transitions
sufficient
desired
protocol
cpkb
resource
phhp
php
recursion
processes
generates
cpkt
aptc
handbook
function
gnskt
ckab
linear
modulo
weakly
branching
atomic
computations
alice
event
reverse
processing
so1
pairwise
Anno:
2023
Lingua:
english
File:
PDF, 14.98 MB
I tuoi tag:
0
/
5.0
english, 2023
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×