The Resource CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.)
CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.)
Resource Information
The item CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999. The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions. The papers address all areas of semantics, logics, and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification, refinement, term and graph rewriting, distributed programming, logic constraint programming, typing systems, etc
- Language
- eng
- Label
- CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
- Title
- CONCUR '99
- Title remainder
- concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
- Statement of responsibility
- Jos C.M. Baeten, Sjouke Mauw (eds.)
- Subject
-
- Computer multitasking
- Computer multitasking -- Congresses
- Concurrente programmering
- Conference papers and proceedings
- Conference papers and proceedings
- Congressen (vorm)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers) -- Congresses
- Computer multitasking
- Language
- eng
- Summary
- This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999. The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions. The papers address all areas of semantics, logics, and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification, refinement, term and graph rewriting, distributed programming, logic constraint programming, typing systems, etc
- Cataloging source
- SFB
- Dewey number
- 004.35
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.58
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1999
- http://bibfra.me/vocab/lite/meetingName
- International Conference on Concurrency Theory
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Baeten, J. C. M
- Mauw, S
- Series statement
- Lecture Notes in Computer Science
- Series volume
- 1664
- http://library.link/vocab/subjectName
-
- Parallel processing (Electronic computers)
- Computer multitasking
- Computer multitasking
- Parallel processing (Electronic computers)
- Concurrente programmering
- Label
- CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.)
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 243487304
- Extent
- 1 online resource (xi, 572 pages)
- Form of item
- online
- Isbn
- 9783540483205
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)243487304
- Label
- CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.)
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 243487304
- Extent
- 1 online resource (xi, 572 pages)
- Form of item
- online
- Isbn
- 9783540483205
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)243487304
Subject
- Computer multitasking
- Computer multitasking -- Congresses
- Concurrente programmering
- Conference papers and proceedings
- Conference papers and proceedings
- Congressen (vorm)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers) -- Congresses
- Computer multitasking
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/CONCUR-99--concurrency-theory--10th/TcJNj5u3evA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/CONCUR-99--concurrency-theory--10th/TcJNj5u3evA/">CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/CONCUR-99--concurrency-theory--10th/TcJNj5u3evA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/CONCUR-99--concurrency-theory--10th/TcJNj5u3evA/">CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings, Jos C.M. Baeten, Sjouke Mauw (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
