Ursula Goltz

Ursula Goltz was a German computer scientist, professor emerita at the Technical University of Braunschweig, formerly affiliated with the Institute for Programming and Reactive Systems there, and former coordinator of a German Research Foundation program on long-lasting software systems. Her research concerns the theory of concurrent computing, including the use of Petri nets to model concurrent systems. Goltz earned her Ph.D. at RWTH Aachen University in 1988, with the dissertation, ''Über die Darstellung von CCS-Programmen durch Petrinetze''.

In the theory of concurrent systems, she is known for introducing the concept of action refinement, an analogue of Niklaus Wirth's concept of stepwise refinement in the development of software systems, together with Rob van Glabbeek. She is also one of the developers of Arden2ByteCode, a compiler for the Arden syntax for representing medical knowledge.

Ursula Goltz died on 30 October 2024. Provided by Wikipedia
Showing 1 - 19 results of 19 for search 'Goltz, Ursula', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Refinement of actions and equivalence notions for concurrent systems

    Refinement of actions and equivalence notions for concurrent systems by Glabbeek, Rob van, Goltz, Ursula

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Causal testing

    Causal testing by Goltz, Ursula, Wehrheim, Heike

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Über die Darstellung von CCS-Programmen durch Petrinetze

    Über die Darstellung von CCS-Programmen durch Petrinetze by Goltz, Ursula

    Published 1988
    Thesis Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Über die Darstellung von CCS-Programmen durch Petrinetze

    Über die Darstellung von CCS-Programmen durch Petrinetze by Goltz, Ursula

    Published 1988
    Thesis Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Über die Darstellung von CCS-Programmen durch Petrinetze

    Über die Darstellung von CCS-Programmen durch Petrinetze by Goltz, Ursula

    Published 1988
    Thesis Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Bewertung einer WWW-Datenbank in Anlehnung an ISO 9241-10

    Bewertung einer WWW-Datenbank in Anlehnung an ISO 9241-10 by Buschardt, B., Goltz, Ursula

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    On syntactic and semantic action refinement

    On syntactic and semantic action refinement by Goltz, Ursula, Giorrieri, Roberto, Rensink, Arend

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Equivalences and refinement

    Equivalences and refinement by Glabbeek, Rob van, Goltz, Ursula

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Über die Darstellung von CCS-Programmen durch Petrinetze

    Über die Darstellung von CCS-Programmen durch Petrinetze by Goltz, Ursula

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Towards a non-interleaving semantic model for CSP-like languages

    Towards a non-interleaving semantic model for CSP-like languages by Goltz, Ursula, Loogen, Rita

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    On syntactic and semantic action refinement

    On syntactic and semantic action refinement by Goltz, Ursula, Gorrieri, Roberto, Rensink, Arend

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A deadlock-sensitive congruence for action refinement

    A deadlock-sensitive congruence for action refinement by Glabbeek, Rob van, Goltz, Ursula

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Equivalences and Refinement

    Equivalences and Refinement by Glabbeek, Rob van, Goltz, Ursula

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Building structured Petri nets

    Building structured Petri nets by Goltz, Ursula

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Towards a non-interleaving semantic model for CSP-like languages

    Towards a non-interleaving semantic model for CSP-like languages by Goltz, Ursula, Loogen, Rita

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    CSP-programs as nets with individual tokens

    CSP-programs as nets with individual tokens by Goltz, Ursula, Reisig, Wolfgang 1950-

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Konzepte der Programmiersprache ADA

    Konzepte der Programmiersprache ADA by Goltz, Ursula

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Informatik 2012 Was bewegt uns in der/die Zukunft? ; 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI) ; 16. - 21.9.2012, TU Braunschweig]

    Informatik 2012 Was bewegt uns in der/die Zukunft? ; 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI) ; 16. - 21.9.2012, TU Braunschweig]

    Published 2012
    Other Authors: “…Goltz, Ursula…”
    Electronic Software eBook


    Saved in:
  19. 19
    Special issue: combining compositionality and concurrency: part 2

    Special issue: combining compositionality and concurrency: part 2

    Published 2015
    Other Authors:
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: