Choose an application

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

Web services --- Formal methods (Computer science) --- Services Web --- Méthodes formelles (Informatique) --- Congresses. --- Congrès --- Computer Science --- Telecommunications --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Information Technology --- Software Engineering --- Computer science. --- Computer communication systems. --- Computer system failures. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Popular Computer Science. --- Software Engineering. --- Computer Communication Networks. --- Logics and Meanings of Programs. --- System Performance and Evaluation. --- 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 --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- 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 --- Electronic data processing --- Network computers --- Informatics --- Science --- Failures --- Distributed processing --- Information theory. --- Logic design. --- Computer system performance. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication

Choose an application

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

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

Computer Science --- Engineering & Applied Sciences --- Parallel processing (Electronic computers) --- Computer multitasking --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Computer programming. --- Computers. --- Computer logic. --- Computer science --- Computer Science. --- Logics and Meanings of Programs. --- Programming Techniques. --- Theory of Computation. --- Models and Principles. --- Computation by Abstract Devices. --- Mathematics of Computing. --- Mathematics. --- Electronic data processing --- Logic design. --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Programming --- Computer Science Logic and Foundations of Programming. --- Models of Computation.

Choose an application

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

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing;  cloud computing; formal methods; verification specification; testing; and business process management.

Web services --- Engineering & Applied Sciences --- Computer Science --- Formal methods (Computer science) --- Computer science. --- Software engineering. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Management information systems. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Software Engineering. --- Management of Computing and Information Systems. --- Information Storage and Retrieval. --- User Interfaces and Human Computer Interaction. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication systems --- Information Systems. --- Information storage and retrieva. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software