X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    Online Resource
    Online Resource
    A Calculus of Communicating Systems (1980)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621375302882
    Format: VI, 174 p. , online resource.
    Edition: 1st ed. 1980.
    ISBN: 9783540383116
    Series Statement: Lecture Notes in Computer Science, 92
    Note: 0. Introduction -- 1. Experimenting on nondeterministic machines -- 2. Synchronization -- 3. A case study in synchronization and proof techniques -- 4. Case studies in value-communication -- 5. Syntax and semantics of CCS -- 6. Communication trees (CTs) as a model of CCS -- 7. Observation equivalence and its properties -- 8. Some proofs about data structures -- 9. Translation into CCS -- 10. Determinancy and confluence -- 11. Conclusion.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662171424
    Additional Edition: Printed edition: ISBN 9783540102359
    Language: English
    DOI: 10.1007/3-540-10235-3
    URL: https://doi.org/10.1007/3-540-10235-3
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages