Showing 1 - 20 results of 31 for search 'Koutny, Maciej', query time: 0.05s 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
    Paradigms of Concurrency Observations, Behaviours, and Systems — a Petri Net View

    Paradigms of Concurrency Observations, Behaviours, and Systems — a Petri Net View by Janicki, Ryszard, Kleijn, Jetty, Koutny, Maciej, Mikulski, Łukasz

    Published 2022

    Get full text Get full text
    Electronic eBook


    Saved in:
  2. 2
    A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday /

    A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday /

    Published 2020
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    The box algebra = Petri nets + process expressions

    The box algebra = Petri nets + process expressions by Best, Eike 1951-, Devillers, Raymond, Koutny, Maciej

    Published 1999
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A refined view of the box algebra

    A refined view of the box algebra by Best, Eike 1951-, Koutny, Maciej

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Operational and denotational semantics for the box algebra

    Operational and denotational semantics for the box algebra by Best, Eike 1951-, Koutny, Maciej

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Modelling concurrent systems with dynamic communication structure

    Modelling concurrent systems with dynamic communication structure by Hopkins, Richard Pinder, Koutny, Maciej

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    On equivalent execution semantics of concurrent systems

    On equivalent execution semantics of concurrent systems by Janicki, Ryszard, Koutny, Maciej

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Recursion and Petri nets

    Recursion and Petri nets by Best, Eike 1951-, Devillers, Raymond, Koutny, Maciej

    Published 1999
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    A model for dynamically structured communicating systems

    A model for dynamically structured communicating systems by Hopkins, Richard Pinder, Koutny, Maciej

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Synchronizing events in replicated systems

    Synchronizing events in replicated systems by Koutny, Maciej, Mancini, Luigi V.

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Synchronizing events inn replicated systems

    Synchronizing events inn replicated systems by Koutny, Maciej, Mancini, Luigi V.

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A model for dynamically structured communicating systems

    A model for dynamically structured communicating systems by Hopkins, Richard Pinder, Koutny, Maciej

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Formal specification of N-modular redundancy

    Formal specification of N-modular redundancy by Mancini, Luigi V., Koutny, Maciej

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Train journeys in the Merlin-Randell problem

    Train journeys in the Merlin-Randell problem by Koutny, Maciej

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Rozpoznawanie konfiguracji regularnych w teorii konfliktów

    Rozpoznawanie konfiguracji regularnych w teorii konfliktów by Koutny, Maciej, Żakowski, Wojciech

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Paradigms of concurrency Observations, behaviours, and systems — a Petri net view

    Paradigms of concurrency Observations, behaviours, and systems — a Petri net view by Janicki, Ryszard, Kleijn, Jetty, Koutny, Maciej, Mikulski, Łukasz

    Published 2022
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Petri net algebra

    Petri net algebra by Best, Eike 1951-, Devillers, Raymond, Koutny, Maciej

    Published 2001
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Petri Net Algebra

    Petri Net Algebra by Best, Eike, Devillers, Raymond, Koutny, Maciej

    Published 2001
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  19. 19
    Operational semantics for the Petri Box Calculus

    Operational semantics for the Petri Box Calculus by Koutny, Maciej, Esparza, Javier 1964-, Best, Eike 1951-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Partial order semantics of priority systems

    Partial order semantics of priority systems by Best, Eike 1951-, Koutny, Maciej

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: