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)

Computer Science --- Engineering & Applied Sciences