The Resource The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others]
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others]
Resource Information
The item The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others] 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 The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others] 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.
- Language
- eng
- Extent
- 1 online resource (vii, 398 pages)
- Note
- Proceedings of a workshop on the Analysis of concurrent systems held at Clare College, Cambridge from 13th to 16th September 1983
- Contents
-
- Using algebra for concurrency: Some approaches
- Some aspects of net theory
- From state machines to temporal logic: Specification methods for protocol standards
- A practical approach to the analysis of concurrent systems
- The problem set
- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification
- Two-way channel with disconnect
- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad
- Parallel combinator reduction machine
- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input
- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch
- On the specification of the firing squad problem
- Towards the hierarchical, temporal logic, specification of concurrent systems
- Two way channel with disconnect
- An example of specification and verification in CESAR
- Trace theory and the specification of concurrent systems
- Syntax and informal semantics of DyNe, a parallel language
- Examples of a real-time temporal logic specification
- Problems from the workshop on the analysis of concurrent systems
- A simple railway system
- Description and analysis using CIRCAL
- Firing squad
- Specification of a simplified Network Service in Z (Problem 2)
- Specification of a simplified Network Service in CSP (Problem 2)
- A solution to problem 7
- parallel combinator reduction machine
- -- A temporal analysis of some concurrent systems
- Solutions to problem no. 2
- A CSP solution to the "trains" problem
- The train set problem
- Conclusions
- Isbn
- 9783540397311
- Label
- The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings
- Title
- The analysis of concurrent systems
- Title remainder
- Cambridge, September 12-16, 1983 : proceedings
- Statement of responsibility
- ed. by B.T. Denvir [and others]
- Language
- eng
- Action
- digitized
- Cataloging source
- NLGGC
- Dewey number
- 005.1015113
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA75.5
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 12-09-1983 - 16-09-1983
- http://library.link/vocab/relatedWorkOrContributorName
-
- Denvir, B. T.
- Workshop on the Analysis of Concurrent Systems
- http://library.link/vocab/subjectName
-
- Computer science
- Logic design
- Computer science
- Logic design
- Concurrente programmering
- Parallelverarbeitung
- Software
- Label
- The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others]
- Note
- Proceedings of a workshop on the Analysis of concurrent systems held at Clare College, Cambridge from 13th to 16th September 1983
- Bibliography note
- Includes bibliographical references and 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
- Contents
- Using algebra for concurrency: Some approaches -- Some aspects of net theory -- From state machines to temporal logic: Specification methods for protocol standards -- A practical approach to the analysis of concurrent systems -- The problem set -- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification -- Two-way channel with disconnect -- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad -- Parallel combinator reduction machine -- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input -- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch -- On the specification of the firing squad problem -- Towards the hierarchical, temporal logic, specification of concurrent systems -- Two way channel with disconnect -- An example of specification and verification in CESAR -- Trace theory and the specification of concurrent systems -- Syntax and informal semantics of DyNe, a parallel language -- Examples of a real-time temporal logic specification -- Problems from the workshop on the analysis of concurrent systems -- A simple railway system -- Description and analysis using CIRCAL -- Firing squad -- Specification of a simplified Network Service in Z (Problem 2) -- Specification of a simplified Network Service in CSP (Problem 2) -- A solution to problem 7 -- parallel combinator reduction machine -- -- A temporal analysis of some concurrent systems -- Solutions to problem no. 2 -- A CSP solution to the "trains" problem -- The train set problem -- Conclusions
- Control code
- 150393789
- Extent
- 1 online resource (vii, 398 pages)
- Form of item
- online
- Isbn
- 9783540397311
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-16047-7
- Other physical details
- illustrations
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)150393789
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
- Label
- The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others]
- Note
- Proceedings of a workshop on the Analysis of concurrent systems held at Clare College, Cambridge from 13th to 16th September 1983
- Bibliography note
- Includes bibliographical references and 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
- Contents
- Using algebra for concurrency: Some approaches -- Some aspects of net theory -- From state machines to temporal logic: Specification methods for protocol standards -- A practical approach to the analysis of concurrent systems -- The problem set -- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification -- Two-way channel with disconnect -- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad -- Parallel combinator reduction machine -- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input -- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch -- On the specification of the firing squad problem -- Towards the hierarchical, temporal logic, specification of concurrent systems -- Two way channel with disconnect -- An example of specification and verification in CESAR -- Trace theory and the specification of concurrent systems -- Syntax and informal semantics of DyNe, a parallel language -- Examples of a real-time temporal logic specification -- Problems from the workshop on the analysis of concurrent systems -- A simple railway system -- Description and analysis using CIRCAL -- Firing squad -- Specification of a simplified Network Service in Z (Problem 2) -- Specification of a simplified Network Service in CSP (Problem 2) -- A solution to problem 7 -- parallel combinator reduction machine -- -- A temporal analysis of some concurrent systems -- Solutions to problem no. 2 -- A CSP solution to the "trains" problem -- The train set problem -- Conclusions
- Control code
- 150393789
- Extent
- 1 online resource (vii, 398 pages)
- Form of item
- online
- Isbn
- 9783540397311
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-16047-7
- Other physical details
- illustrations
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)150393789
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
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/The-analysis-of-concurrent-systems--Cambridge/4RdnbocFyQQ/" 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/The-analysis-of-concurrent-systems--Cambridge/4RdnbocFyQQ/">The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others]</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 The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others]
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/The-analysis-of-concurrent-systems--Cambridge/4RdnbocFyQQ/" 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/The-analysis-of-concurrent-systems--Cambridge/4RdnbocFyQQ/">The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings, ed. by B.T. Denvir [and others]</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>
