Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Computer architecture. Operating systems --- Electronic data processing --- Distributed processing --- Parallel processing (Electronic computers). --- Distributed processing. --- Parallel processing (Electronic computers) --- 681.3*D33 --- 681.3*D3 --- 681.3*D41 --- 681.3*F12 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D3 Programming languages --- Programming languages --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Informatique --- Electronic data processing - Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- 681.3*D15 --- Object-oriented programming (Computer science) --- Parallel processing (Electronic computers) --- 681.3*D41 --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Software: object-oriented programming --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D15 Software: object-oriented programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

Programming --- Object-oriented programming (Computer science) --- Parallel processing (Electronic computers) --- Petri nets --- Computer Science --- Engineering & Applied Sciences --- Petri nets. --- Computer science. --- Information technology. --- Business --- Computer communication systems. --- Software engineering. --- Computers. --- Computer logic. --- Computer science --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Discrete Mathematics in Computer Science. --- IT in Business. --- Data processing. --- Mathematics. --- Graph theory --- Nets (Mathematics) --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Logic design. --- Computational complexity. --- Informatics --- Science --- Computer software engineering --- Engineering --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Complexity, Computational --- Electronic data processing --- Machine theory --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics. --- Business—Data processing. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)