Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
Resource Information
The work Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
The Resource
Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
Resource Information
The work Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
- Label
- Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
- Title remainder
- concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
- Statement of responsibility
- Ugo Montanari, Vladimiro Sassone, eds
- Language
- eng
- Summary
-
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- Cataloging source
- RRR
- Dewey number
- 004/.35
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.58
- LC item number
- .I53 1996
- Literary form
- non fiction
- Nature of contents
- bibliography
- Series statement
- Lecture notes in computer science
- Series volume
- 1119
Context
Context of Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedingsWork of
No resources found
No enriched resources found
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/resource/rSdpj0CUaVY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/rSdpj0CUaVY/">Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings</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 Work Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
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/resource/rSdpj0CUaVY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/rSdpj0CUaVY/">Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings</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>
