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
    A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (1994)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186484202883
    Format: 1 online resource (VIII, 692 p.)
    Edition: 1st ed. 1994.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-48423-X
    Series Statement: Lecture Notes in Computer Science, 803
    Content: The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
    Note: Bibliographic Level Mode of Issuance: Monograph , Data-flow synchronous languages -- Process algebra with backtracking -- Some Chemical Abstract Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets -- An introduction to the theoretical aspects of Coloured Petri Nets -- Temporal verification of simulation and refinement -- Verification and specification of concurrent programs -- Simulation techniques for proving properties of real-time systems -- Relationships between models of concurrency -- Interaction diagrams -- Algebraic theories for name-passing calculi -- Initial algebra and final coalgebra semantics for concurrency -- Logical specifications of infinite computations -- Partial order based design of concurrent systems. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-58043-3
    Language: English
    DOI: 10.1007/3-540-58043-3
    URL: http://dx.doi.org/10.1007/3-540-58043-3
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
    Charité
  • 2
    Online Resource
    Online Resource
    Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (1993)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186205902883
    Format: 1 online resource (IX, 667 p.)
    Edition: 1st ed. 1993.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47595-8
    Series Statement: Lecture Notes in Computer Science, 666
    Content: Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.
    Note: Bibliographic Level Mode of Issuance: Monograph , Predicate transformers and higher order logic -- Trace Nets -- Proving total correctness of programs in weak second-order logic -- On blocks: locality and asynchronous communication -- Semantics, orderings and recursion in the weakest precondition calculus -- A categorical model for logic programs: Indexed monoidal categories -- A categorical view of process refinement -- Compact metric information systems -- Asynchronous rendez-vous in distributed logic programming -- New semantic tools for logic programming -- Temporal preconditions of recursive procedures -- Towards an epistemic approach to reasoning about concurrent programs -- A fully abstract model for a nonuniform concurrent language with parameterization and locality -- SPCF: its model, calculus, and computational power -- Infinite behaviour and fairness in concurrent constraint programming -- Full abstraction and unnested recursion -- On the action semantics of concurrent programming languages -- Layered predicates -- A hyperdoctrinal view of concurrent constraint programming -- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders -- Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms -- Some issues in the semantics of facile distributed programming -- On the relation between unity properties and sequences of states -- Expressiveness results for process algebras -- Compiling joy into Silicon: An exercise in applied structural operational semantics. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-56596-5
    Language: English
    DOI: 10.1007/3-540-56596-5
    URL: http://dx.doi.org/10.1007/3-540-56596-5
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
    Charité
  • 3
    Online Resource
    Online Resource
    Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (1993)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186205902883
    Format: 1 online resource (IX, 667 p.)
    Edition: 1st ed. 1993.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47595-8
    Series Statement: Lecture Notes in Computer Science, 666
    Content: Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.
    Note: Bibliographic Level Mode of Issuance: Monograph , Predicate transformers and higher order logic -- Trace Nets -- Proving total correctness of programs in weak second-order logic -- On blocks: locality and asynchronous communication -- Semantics, orderings and recursion in the weakest precondition calculus -- A categorical model for logic programs: Indexed monoidal categories -- A categorical view of process refinement -- Compact metric information systems -- Asynchronous rendez-vous in distributed logic programming -- New semantic tools for logic programming -- Temporal preconditions of recursive procedures -- Towards an epistemic approach to reasoning about concurrent programs -- A fully abstract model for a nonuniform concurrent language with parameterization and locality -- SPCF: its model, calculus, and computational power -- Infinite behaviour and fairness in concurrent constraint programming -- Full abstraction and unnested recursion -- On the action semantics of concurrent programming languages -- Layered predicates -- A hyperdoctrinal view of concurrent constraint programming -- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders -- Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms -- Some issues in the semantics of facile distributed programming -- On the relation between unity properties and sequences of states -- Expressiveness results for process algebras -- Compiling joy into Silicon: An exercise in applied structural operational semantics. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-56596-5
    Language: English
    DOI: 10.1007/3-540-56596-5
    URL: http://dx.doi.org/10.1007/3-540-56596-5
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 4
    Online Resource
    Online Resource
    Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (1993)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186205902883
    Format: 1 online resource (IX, 667 p.)
    Edition: 1st ed. 1993.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47595-8
    Series Statement: Lecture Notes in Computer Science, 666
    Content: Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.
    Note: Bibliographic Level Mode of Issuance: Monograph , Predicate transformers and higher order logic -- Trace Nets -- Proving total correctness of programs in weak second-order logic -- On blocks: locality and asynchronous communication -- Semantics, orderings and recursion in the weakest precondition calculus -- A categorical model for logic programs: Indexed monoidal categories -- A categorical view of process refinement -- Compact metric information systems -- Asynchronous rendez-vous in distributed logic programming -- New semantic tools for logic programming -- Temporal preconditions of recursive procedures -- Towards an epistemic approach to reasoning about concurrent programs -- A fully abstract model for a nonuniform concurrent language with parameterization and locality -- SPCF: its model, calculus, and computational power -- Infinite behaviour and fairness in concurrent constraint programming -- Full abstraction and unnested recursion -- On the action semantics of concurrent programming languages -- Layered predicates -- A hyperdoctrinal view of concurrent constraint programming -- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders -- Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms -- Some issues in the semantics of facile distributed programming -- On the relation between unity properties and sequences of states -- Expressiveness results for process algebras -- Compiling joy into Silicon: An exercise in applied structural operational semantics. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-56596-5
    Language: English
    DOI: 10.1007/3-540-56596-5
    URL: http://dx.doi.org/10.1007/3-540-56596-5
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 5
    Online Resource
    Online Resource
    A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (1994)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186484202883
    Format: 1 online resource (VIII, 692 p.)
    Edition: 1st ed. 1994.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-48423-X
    Series Statement: Lecture Notes in Computer Science, 803
    Content: The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
    Note: Bibliographic Level Mode of Issuance: Monograph , Data-flow synchronous languages -- Process algebra with backtracking -- Some Chemical Abstract Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets -- An introduction to the theoretical aspects of Coloured Petri Nets -- Temporal verification of simulation and refinement -- Verification and specification of concurrent programs -- Simulation techniques for proving properties of real-time systems -- Relationships between models of concurrency -- Interaction diagrams -- Algebraic theories for name-passing calculi -- Initial algebra and final coalgebra semantics for concurrency -- Logical specifications of infinite computations -- Partial order based design of concurrent systems. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-58043-3
    Language: English
    DOI: 10.1007/3-540-58043-3
    URL: http://dx.doi.org/10.1007/3-540-58043-3
    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
    A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (1994)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186484202883
    Format: 1 online resource (VIII, 692 p.)
    Edition: 1st ed. 1994.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-48423-X
    Series Statement: Lecture Notes in Computer Science, 803
    Content: The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
    Note: Bibliographic Level Mode of Issuance: Monograph , Data-flow synchronous languages -- Process algebra with backtracking -- Some Chemical Abstract Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets -- An introduction to the theoretical aspects of Coloured Petri Nets -- Temporal verification of simulation and refinement -- Verification and specification of concurrent programs -- Simulation techniques for proving properties of real-time systems -- Relationships between models of concurrency -- Interaction diagrams -- Algebraic theories for name-passing calculi -- Initial algebra and final coalgebra semantics for concurrency -- Logical specifications of infinite computations -- Partial order based design of concurrent systems. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-58043-3
    Language: English
    DOI: 10.1007/3-540-58043-3
    URL: http://dx.doi.org/10.1007/3-540-58043-3
    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
    A Decade of Concurrency : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (1994)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649306954
    Format: Online-Ressource
    ISBN: 9783540484233
    Series Statement: Lecture Notes in Computer Science 803
    Additional Edition: ISBN 9783540580430
    Additional Edition: Buchausg. u.d.T. A decade of concurrency Berlin : Springer, 1994 ISBN 3540580433
    Additional Edition: ISBN 0387580433
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 230
    RVK:
    SS 1993
    Keywords: Nebenläufigkeit ; Konferenzschrift
    DOI: 10.1007/3-540-58043-3
    URL: Volltext
    URL: Cover
    URL: Inhaltstext
    Author information: Rozenberg, Grzegorz 1942-
    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: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (1993)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649297661
    Format: Online-Ressource
    ISBN: 9783540475958
    Series Statement: Lecture Notes in Computer Science 666
    Additional Edition: ISBN 9783540565963
    Additional Edition: Buchausg. u.d.T. Semantics Berlin : Springer, 1993 ISBN 3540565965
    Additional Edition: ISBN 0387565965
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 140
    Keywords: Programmiersprache ; Semantik ; Nebenläufigkeit ; Semantik ; Konferenzschrift
    DOI: 10.1007/3-540-56596-5
    URL: Volltext
    URL: Cover
    URL: Inhaltstext
    Author information: Rozenberg, Grzegorz 1942-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
  • 9
    Online Resource
    Online Resource
    Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (1993)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621658902882
    Format: IX, 667 p. , online resource.
    Edition: 1st ed. 1993.
    ISBN: 9783540475958
    Series Statement: Lecture Notes in Computer Science, 666
    Content: Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.
    Note: Predicate transformers and higher order logic -- Trace Nets -- Proving total correctness of programs in weak second-order logic -- On blocks: locality and asynchronous communication -- Semantics, orderings and recursion in the weakest precondition calculus -- A categorical model for logic programs: Indexed monoidal categories -- A categorical view of process refinement -- Compact metric information systems -- Asynchronous rendez-vous in distributed logic programming -- New semantic tools for logic programming -- Temporal preconditions of recursive procedures -- Towards an epistemic approach to reasoning about concurrent programs -- A fully abstract model for a nonuniform concurrent language with parameterization and locality -- SPCF: its model, calculus, and computational power -- Infinite behaviour and fairness in concurrent constraint programming -- Full abstraction and unnested recursion -- On the action semantics of concurrent programming languages -- Layered predicates -- A hyperdoctrinal view of concurrent constraint programming -- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders -- Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms -- Some issues in the semantics of facile distributed programming -- On the relation between unity properties and sequences of states -- Expressiveness results for process algebras -- Compiling joy into Silicon: An exercise in applied structural operational semantics.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662209080
    Additional Edition: Printed edition: ISBN 9783540565963
    Language: English
    DOI: 10.1007/3-540-56596-5
    URL: https://doi.org/10.1007/3-540-56596-5
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 10
    Online Resource
    Online Resource
    A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (1994)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621062002882
    Format: VIII, 692 p. , online resource.
    Edition: 1st ed. 1994.
    ISBN: 9783540484233
    Series Statement: Lecture Notes in Computer Science, 803
    Content: The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
    Note: Data-flow synchronous languages -- Process algebra with backtracking -- Some Chemical Abstract Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets -- An introduction to the theoretical aspects of Coloured Petri Nets -- Temporal verification of simulation and refinement -- Verification and specification of concurrent programs -- Simulation techniques for proving properties of real-time systems -- Relationships between models of concurrency -- Interaction diagrams -- Algebraic theories for name-passing calculi -- Initial algebra and final coalgebra semantics for concurrency -- Logical specifications of infinite computations -- Partial order based design of concurrent systems.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662162989
    Additional Edition: Printed edition: ISBN 9783540580430
    Language: English
    DOI: 10.1007/3-540-58043-3
    URL: https://doi.org/10.1007/3-540-58043-3
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages