Treffer 1 - 20 von 68 für Suche 'Winkowski, Jozef', Suchdauer: 0,98s Treffer weiter einschränken
  1. 1
    Multiplicative Transition Systems

    Multiplicative Transition Systems von Winkowski, Józef


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978

    Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978 von Winkowski, J


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    CONCUR '97: Concurrency Theory: 8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings

    CONCUR '97: Concurrency Theory: 8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings von Mazurkiewicz, Antoni, Winkowski, Józef


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    An algebraic characterization of independence of Petri net processes

    An algebraic characterization of independence of Petri net processes von Winkowski, Józef

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Reachability analysis of pushdown automata: Application to model-checking

    Reachability analysis of pushdown automata: Application to model-checking von Bouajjani, Ahmed, Esparza, Javier, Maler, Oded


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Praktyczny podrecznik duszpasterstwa w szkole sredniej

    Praktyczny podrecznik duszpasterstwa w szkole sredniej von Winkowski, Jozef

    Volltext bestellen
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Modularity for timed and hybrid systems

    Modularity for timed and hybrid systems von Alur, Rajeev, Henzinger, Thomas A.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Protocols of accessing overlapping sets of resources

    Protocols of accessing overlapping sets of resources von Winkowski, Józef

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    On the complexity of verifying concurrent transition systems

    On the complexity of verifying concurrent transition systems von Harel, David, Kupferman, Orna, Vardi, Moshe Y.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Fair simulation

    Fair simulation von Henzinger, Thomas A., Kupferman, Orna, Rajamani, Sriram K.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Reasoning about cryptographic protocols in the spi calculus

    Reasoning about cryptographic protocols in the spi calculus von Abadi, Martín, Gordon, Andrew D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A communication concept for distributed systems

    A communication concept for distributed systems von Korczyński, Waldemar, Winkowski, Józef

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Processes of timed Petri nets

    Processes of timed Petri nets von Winkowski, Józef

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Proving safety properties of infinite state systems by compilation into Presburger arithmetic

    Proving safety properties of infinite state systems by compilation into Presburger arithmetic von Fribourg, Laurent, Olsén, Hans


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Modeling a solution for a control problem in distributed systems by restrictions

    Modeling a solution for a control problem in distributed systems by restrictions von Maggiolo-Schettini, Andrea, Wedde, Horst, Winkowski, Jozef


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Implicit typing à la ML for the join-calculus

    Implicit typing à la ML for the join-calculus von Fournet, Cédric, Maranget, Luc, Laneve, Cosimo, Rémy, Didier


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Horizontal and vertical structuring techniques for statecharts

    Horizontal and vertical structuring techniques for statecharts von Ehrig, Hartmut, Geisler, Robert, Klar, Marcus, Padberg, Julia


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    An algebraic approach to concurrence

    An algebraic approach to concurrence von Winkowski, Józef


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Partial-order reduction in the weak modal mu-calculus

    Partial-order reduction in the weak modal mu-calculus von Ramakrishna, Y. S., Smolka, Scott A.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Algebras of partial sequences — A tool to deal with concurrency

    Algebras of partial sequences — A tool to deal with concurrency von Winkowski, Józef


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: