Darowizna 15 września 2024 – 1 października 2024
O zbieraniu funduszy
wyszukiwanie książek
książki
Darowizna:
58.4% wykorzystano
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
search
1
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Springer
Roberto Gorrieri
transition
finite
step
nets
definition
transitions
reachable
proposition
marking
derivable
processes
statically
sequential
induction
fnm
petri
fnc
labeled
bisimulation
a.b
extended
restriction
parallel
theorem
νa
npl
operational
figure
defined
μ.p
exists
lemma
ccs
enabled
interleaving
bpp
nct
consider
prove
required
systems
initial
assume
thesis
sfm
cfm
constants
synchronization
restricted
denotational
Rok:
2017
Język:
english
Plik:
PDF, 2.00 MB
Twoje tagi:
0
/
0
english, 2017
2
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Springer International Publishing
Roberto Gorrieri (auth.)
transition
finite
step
nets
definition
transitions
reachable
proposition
marking
derivable
processes
statically
sequential
induction
fnm
petri
fnc
labeled
bisimulation
a.b
extended
restriction
parallel
theorem
νa
npl
operational
figure
defined
μ.p
exists
lemma
ccs
enabled
interleaving
bpp
nct
consider
prove
required
systems
initial
assume
thesis
sfm
cfm
constants
synchronization
restricted
denotational
Rok:
2017
Język:
english
Plik:
PDF, 3.05 MB
Twoje tagi:
0
/
0
english, 2017
3
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Springer
Roberto Gorrieri
transition
finite
step
nets
definition
transitions
reachable
proposition
marking
derivable
processes
statically
sequential
induction
fnm
petri
fnc
labeled
bisimulation
a.b
extended
restriction
parallel
theorem
νa
npl
operational
figure
defined
μ.p
exists
lemma
ccs
enabled
interleaving
bpp
nct
consider
prove
required
systems
initial
assume
thesis
sfm
cfm
constants
synchronization
restricted
denotational
Rok:
2017
Język:
english
Plik:
PDF, 2.69 MB
Twoje tagi:
0
/
0
english, 2017
4
Introduction to Concurrency Theory: Transition Systems and CCS
Springer International Publishing
Roberto Gorrieri
,
Cristian Versari (auth.)
ccs
νa
finite
bisimulation
transition
processes
definition
prove
consider
figure
defined
simulation
trace
induction
congruence
proposition
systems
composition
first
bisimilarity
equivalent
parallel
exists
ltss
bisimilar
branching
sequential
rooted
transitions
labeled
synchronization
operators
bpa
completed
constants
νl
lemma
behavioral
equivalences
function
μ.p
assume
choice
deadlock
restriction
step
ιa
axiom
define
required
Rok:
2015
Język:
english
Plik:
PDF, 3.47 MB
Twoje tagi:
0
/
0
english, 2015
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×