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
  • 1
    Online Resource
    Online Resource
    Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2 - 4, 1979 (1979)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_595132510
    Format: Online-Ressource (VI, 368 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540351634
    Series Statement: Lecture notes in computer science 70
    Content: The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language.
    Note: Literaturangaben
    Additional Edition: ISBN 354009511X
    Additional Edition: ISBN 038709511X
    Additional Edition: ISBN 9783540095118
    Additional Edition: Erscheint auch als Druck-Ausgabe Semantics of concurrent computation Berlin : Springer, 1979 ISBN 354009511X
    Additional Edition: ISBN 038709511X
    Language: English
    Subjects: Computer Science , Economics
    RVK:
    QH 500
    RVK:
    SS 4800
    Keywords: Semantik ; Parallelverarbeitung ; Programmierung ; Evian 〈1979〉 ; Konferenzschrift
    DOI: 10.1007/BFb0022459
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 2
    Book
    Book
    Semantics of concurrent computation : proceedings of the International Symposium Evian, France, July 2 - 4, 1979 (1979)
    Berlin : Springer
    Details
    UID:
    gbv_012444227
    Format: VI, 368 S. , graph. Darst.
    ISBN: 354009511X , 038709511X
    Series Statement: Lecture notes in computer science 70
    Note: Literaturangaben
    Additional Edition: Online-Ausg. Semantics of concurrent computation Berlin [u.a.] : Springer, 1979 ISBN 9783540351634
    Additional Edition: Erscheint auch als Online-Ausgabe Kahn, G. Semantics of Concurrent Computation Berlin, Heidelberg : Springer Berlin Heidelberg, 1979 ISBN 9783540351634
    Language: English
    Subjects: Computer Science , Economics
    RVK:
    QH 500
    RVK:
    SS 4800
    Keywords: Semantik ; Parallelverarbeitung ; Programmierung ; Evian 〈1979〉 ; Semantik ; Parallelverarbeitung ; Datenverarbeitung ; Semantik ; Programmiersprache ; Semantik ; Konferenzschrift ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 3
    Online Resource
    Online Resource
    Semantics of Concurrent Computation : Proceedings of the International Symposium, Evian, France, July 2–4, 1979 (1979)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920997502882
    Format: VIII, 372 p. , online resource.
    ISBN: 9783540351634
    Series Statement: Lecture Notes in Computer Science, 70
    Note: The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540095118
    Language: English
    DOI: 10.1007/BFb0022459
    URL: http://dx.doi.org/10.1007/BFb0022459
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Online Resource
    Online Resource
    Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979 (1979)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621348202882
    Format: VIII, 372 p. , online resource.
    Edition: 1st ed. 1979.
    ISBN: 9783540351634
    Series Statement: Lecture Notes in Computer Science, 70
    Note: The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662181942
    Additional Edition: Printed edition: ISBN 9783540095118
    Language: English
    DOI: 10.1007/BFb0022459
    URL: https://doi.org/10.1007/BFb0022459
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979 (1979)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186272002883
    Format: 1 online resource (VIII, 372 p.)
    Edition: 1st ed. 1979.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-35163-9
    Series Statement: Lecture Notes in Computer Science, 70
    Note: Bibliographic Level Mode of Issuance: Monograph , The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-09511-X
    Language: English
    DOI: 10.1007/BFb0022459
    URL: http://dx.doi.org/10.1007/BFb0022459
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 6
    Online Resource
    Online Resource
    Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979 (1979)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186272002883
    Format: 1 online resource (VIII, 372 p.)
    Edition: 1st ed. 1979.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-35163-9
    Series Statement: Lecture Notes in Computer Science, 70
    Note: Bibliographic Level Mode of Issuance: Monograph , The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-09511-X
    Language: English
    DOI: 10.1007/BFb0022459
    URL: http://dx.doi.org/10.1007/BFb0022459
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 7
    Online Resource
    Online Resource
    Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979 (1979)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649196733
    Format: Online-Ressource
    ISBN: 9783540351634
    Series Statement: Lecture Notes in Computer Science 70
    Additional Edition: ISBN 9783540095118
    Additional Edition: Buchausg. u.d.T. Semantics of concurrent computation Berlin : Springer, 1979 ISBN 354009511X
    Additional Edition: ISBN 038709511X
    Language: English
    Subjects: Computer Science , Economics
    RVK:
    QH 500
    RVK:
    SS 4800
    Keywords: Semantik ; Parallelverarbeitung ; Datenverarbeitung ; Semantik ; Programmiersprache ; Semantik ; Konferenzschrift
    DOI: 10.1007/BFb0022459
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
  • 8
    Online Resource
    Online Resource
    Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979 (1979)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186272002883
    Format: 1 online resource (VIII, 372 p.)
    Edition: 1st ed. 1979.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-35163-9
    Series Statement: Lecture Notes in Computer Science, 70
    Note: Bibliographic Level Mode of Issuance: Monograph , The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-09511-X
    Language: English
    DOI: 10.1007/BFb0022459
    URL: http://dx.doi.org/10.1007/BFb0022459
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540281634?
Did you mean 9783540235163?
Did you mean 9783540251637?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages