Oldenburg

Results: 1457



#Item
131

No Need Knowing Numerous Neighbours Towards a realizable interpretation of MLSL Martin Fränzle1? , Michael R. Hansen2?? , and Heinrich Ody1? ? ? 1 Department of Computing Science, University of Oldenburg, Germany

Add to Reading List

Source URL: theoretica.informatik.uni-oldenburg.de

- Date: 2016-02-23 05:33:01
    132

    PDF Document

    Add to Reading List

    Source URL: www.c3l.uni-oldenburg.de

    - Date: 2009-02-27 06:11:26
      133

      On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

      Add to Reading List

      Source URL: concurrency.cs.uni-kl.de

      - Date: 2016-02-22 03:32:16
        134

        S YNTHESISING P ERSISTENT P ETRI N ETS Eike Best Carl von Ossietzky Universität Oldenburg, DOldenburg, Germany Königswinter, August 7–9, 2013

        Add to Reading List

        Source URL: www.ips.tu-braunschweig.de

        - Date: 2013-08-23 04:38:51
          135

          Master Thesis Synthesis of Distributed Reactive Programs Heinrich Ody October 31, 2013

          Add to Reading List

          Source URL: theoretica.informatik.uni-oldenburg.de

          - Date: 2014-01-24 07:19:06
            136

            Attribution of Graphs by Composition of M, N -adhesive Categories Christoph Peuser? and Annegret Habel Carl von Ossietzky Universit¨ at Oldenburg {peuser,habel}@informatik.uni-oldenburg.de

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2015-07-06 05:03:10
              137

              Causality, Composition, and the Security of Cyberphysical Systems Sibylle Fr¨ oschle OFFIS & University of Oldenburg

              Add to Reading List

              Source URL: www.ips.tu-braunschweig.de

              - Date: 2013-08-13 02:42:33
                138

                PDF Document

                Add to Reading List

                Source URL: oops.uni-oldenburg.de

                - Date: 2013-01-17 09:20:54
                  139

                  Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters⋆ Johannes Faber1 , Swen Jacobs2 , and Viorica Sofronie-Stokkermans2 1 Department of Computing Science, University of Oldenburg, Germany

                  Add to Reading List

                  Source URL: www.swenjacobs.com

                  - Date: 2013-01-31 09:32:20
                    140

                    Combining Deduction and Algebraic Constraints for Hybrid System Analysis? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2007-07-06 15:54:19
                      UPDATE