Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 19 | << page >> |
Sort by
|
ISBN: 0521400287 9780521400282 9780511608841 9780521607506 Year: 2004 Volume: 17 Publisher: Cambridge Cambridge University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Axiomatic set theory --- Computer network protocols --- Computer science --- Théorie axiomatique des ensembles --- Protocoles de réseaux d'ordinateurs --- Informatique --- Mathematics --- Mathématiques --- #KVIV:BB --- 681.3*D33 --- 681.3*F41 --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Théorie axiomatique des ensembles --- Protocoles de réseaux d'ordinateurs --- Mathématiques --- Mathematics.
Book
ISBN: 9026711107 Year: 1986 Publisher: Deventer Kluwer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0511608845 Year: 2004 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.
Machine theory. --- Parallel processing (Electronic computers) --- Computer science --- Computer network protocols. --- Axiomatic set theory. --- Mathematics.
ISSN: 03029743 ISBN: 3540664254 9783540664253 3540483209 Year: 1999 Volume: 1664 Publisher: Berlin ; Heidelberg : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Parallel processing (Electronic computers) --- Multitasking (Computer science) --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congresses. --- Congrès --- Mathematics. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Applied mathematics. --- Engineering mathematics. --- Applications of Mathematics. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Computer multitasking --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congrès --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Electronic data processing --- Computer network architectures. --- Logic design. --- Computer science. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Math --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Engineering --- Engineering analysis --- Mathematical analysis --- Programming --- Mathematics --- Computer science --- Parallel processing (Electronic computers) - Congresses
ISBN: 354043447X 9783540434474 Year: 2002 Publisher: Berlin ; New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
System design. --- Discrete-time systems. --- Computer science --- Systèmes, Conception de --- Systèmes échantillonnés --- Informatique --- Mathematics. --- Mathématiques --- System Design --- Discrete-time systems --- Mathematics --- Systèmes, Conception de --- Systèmes échantillonnés --- Mathématiques --- Computer science - Mathematics
Book
ISBN: 9780521400435 9780511624193 Year: 1990 Publisher: Cambridge Cambridge University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1985 Publisher: Amsterdam Stichting mathematisch centrum
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0511624190 Year: 1990 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
Book
Year: 1986 Publisher: Amsterdam Mathematisch centrum
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1985 Publisher: Amsterdam Stichting mathematisch centrum
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 19 | << page >> |
Sort by
|