Coverart for item
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]

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]
Contributor
Editor
Subject
Genre
Language
eng
Member of
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]
Instantiates
Publication
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]
Publication
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 Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...