عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 B953 2011
QA76
.
9
.
S88
B953
2011
کتابخانه
محل استقرار
3642077889
9783642077883
b553617
Process algebra with timing
[Book]
by J.C.M. Baeten, C.A. Middelburg.
Berlin ; London
Springer
2011
1 volume ; 24 cm.
Monographs in theoretical computer science
Originally published: 2002.
1. No Timing.- 2. Discrete Relative Timing.- 3. Discrete Absolute Timing.- 4. Continuous Relative Timing.- 5. Continuous Absolute Timing.- 6. Abstraction.- 7. Features.- A.1 Elimination.- A.2 Soundness.- A.3 Completeness.- B. Background Material.- B.1 Basic Equational Logic and SOS Theory.- B.1.1 Equational Logic.- B.1.2 SOS Theory.- B.2 Some Further Topics.- B.2.1 TSSs with Negative Premises.- B.2.2 Variable Binding Operators.- B.2.3 Conservativity and Completeness.- B.2.4 Generalizations.- B.2.5 Given Sorts and Parametrization.- B.3 Non-negative Real Numbers.- References.
Computer science -- Mathematics.
Discrete-time systems.
System design.
QA76
.
9
.
S88
B953
2011
by J.C.M. Baeten, C.A. Middelburg.
Cornelis A Middelburg
J C M Baeten
مطالعه متن کتاب [Book]
Y
