Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    UID:
    edoccha_9959186097402883
    Format: 1 online resource (X, 526 p.)
    Edition: 1st ed. 1985.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-39593-8
    Series Statement: Lecture Notes in Computer Science, 197
    Note: Bibliographic Level Mode of Issuance: Monograph , On the axiomatic treatment of concurrency -- Hierarchical development of concurrent systems in a temporal logic framework -- On the composition and decomposition of assertions -- Process algebra with asynchronous communication mechanisms -- Axioms for memory access in asynchronous hardware systems -- Executing temporal logic programs -- The static derivation of concurrency and its mechanized certification -- Semantic considerations in the actor paradigm of concurrent computation -- The pomset model of parallel processes: Unifying the temporal and the spatial -- Lectures on a calculus for communicating systems -- Concurrent behaviour: Sequences, processes and axioms -- Categories of models for concurrency -- Maximally concurrent evolution of non-sequential systems -- An improved failures model for communicating processes -- Denotational semantics for occam -- Linguistic support of receptionists for shared resources -- Applications of topology to semantics of communicating processes -- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety -- The ESTEREL synchronous programming language and its mathematical semantics -- An implementation model of rendezvous communication -- A fully abstract model of fair asynchrony -- Alternative semantics for McCarthy's amb -- Semantics of networks containing indeterminate operators -- Abstract interpretation and indeterminacy -- The NIL distributed systems programming language: A status report. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-15670-4
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages