Suche nach Büchern
Bücher
Spenden
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
search
1
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Springer-Verlag Berlin Heidelberg
Dirk A. Taubner (auth.)
transition
finite
nets
defined
rec
systems
petri
hyp
extended
theorem
reach
exists
milner
contexts
parallel
induction
ccs
composition
recursion
abstract
implies
define
bisimulation
traces
transitions
prt
idf
qterms
furthermore
prove
operators
programming
proposition
reachable
goltz
counter
renaming
notation
processes
syntax
predicate
manipulation
bisimular
olderog
degano
function
lemma
onesyn
strongly
extensions
Jahr:
1989
Sprache:
english
Datei:
PDF, 2.94 MB
Ihre Tags:
0
/
0
english, 1989
2
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Springer-Verlag Berlin Heidelberg
Dirk A. Taubner (auth.)
transition
finite
nets
defined
rec
systems
petri
hyp
extended
theorem
reach
exists
milner
contexts
parallel
induction
ccs
composition
recursion
abstract
implies
define
bisimulation
traces
transitions
prt
idf
qterms
furthermore
prove
operators
programming
proposition
reachable
goltz
counter
renaming
notation
processes
syntax
predicate
manipulation
bisimular
olderog
degano
function
lemma
onesyn
strongly
extensions
Jahr:
1989
Sprache:
english
Datei:
PDF, 9.03 MB
Ihre Tags:
0
/
0
english, 1989
3
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Springer-Verlag Berlin Heidelberg
Dirk A. Taubner (auth.)
transition
finite
nets
defined
petri
systems
hyp
theorem
extended
milner
exists
contexts
parallel
rec
induction
ccs
composition
implies
reach
recursion
proposition
abstract
define
prt
idf
bisimulation
transitions
qterms
furthermore
prove
operators
programming
goltz
reachable
lemma
counter
syntax
anil
renaming
processes
zid
notation
predicate
traces
olderog
manipulation
bisimular
degano
function
onesyn
Jahr:
1989
Sprache:
english
Datei:
DJVU, 1.31 MB
Ihre Tags:
0
/
0
english, 1989
4
Matching Equivalences on Higher Dimensional Automata Models
Oshevskaya E.S.
hda
thda
morphism
cubical
path
bisimulation
morphisms
cubes
d0i
lemma
mapping
cpl
maps
cube
hdal
hhp
paths
exists
figure
models
consider
αi
define
tcp
timed
assume
category
continuous
mpe
d01
d1j
dimensional
item
theorem
topological
u̇
defined
pr1
automata
moreover
segment
topology
adjacency
ṫ
d02
denote
mappings
categories
norm
prove
Sprache:
english
Datei:
PDF, 816 KB
Ihre Tags:
0
/
0
english
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×