Image from Amazon.com
Image from Google Jackets
CONCUR 2011 – Concurrency Theory [electronic resource] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König.
Material type:
TextSeries: Lecture Notes in Computer Science ; 6901Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: XIV, 560p. online resourceContent type: - text
- computer
- online resource
- 9783642232176
- Computer science
- Computer Communication Networks
- Software engineering
- Logic design
- Information systems
- Artificial intelligence
- Computer Science
- Software Engineering
- Logics and Meanings of Programs
- Computer Communication Networks
- Programming Languages, Compilers, Interpreters
- Information Systems Applications (incl.Internet)
- Artificial Intelligence (incl. Robotics)
- 005.1 23
- QA76.758
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK9837 |
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
There are no comments on this title.
Log in to your account to post a comment.