No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Choose publication:
An algebraic model for timed behaviours.; Algebraiczny model działania systemów w czasie rzeczywistym. - Maggiolo-Schettini, Andrea; Winkowski, JózefAn algebraic model for timed behaviours.; Algebraiczny model działania systemów w czasie rzeczywistym. - Maggiolo-Schettini, Andrea; Winkowski, Józef
Add to bibliography
An algebraic way of defining place/transition Petri nets and their behaviours.; An algebraic way of defining place/transition Petri nets and their behaviours. - Winkowski, JózefAn algebraic way of defining place/transition Petri nets and their behaviours.; An algebraic way of defining place/transition Petri nets and their behaviours. - Winkowski, Józef
Formalizacja systemu wnioskowania o zależnościach czasowych między zdarzeniami; Formalization of the Inferential System on Temporal Dependencies Between Events - Hajnicz, ElżbietaFormalizacja systemu wnioskowania o zależnościach czasowych między zdarzeniami; Formalization of the Inferential System on Temporal Dependencies Between Events - Hajnicz, Elżbieta
On equivalence of behaviour expressions.; O równoważności wyrażeń reprezentujących procesy. - Maggiolo-Schettini, Andrea; Winkowski, JózefOn equivalence of behaviour expressions.; O równoważności wyrażeń reprezentujących procesy. - Maggiolo-Schettini, Andrea; Winkowski, Józef
Reprezentowanie w hierarchii dziedzin informacji zmieniajacej się w czasie.; Representation of information changing in time in Hierarchy of domains. - Hajnicz, Elżbieta; Pilitowski, AndrzejReprezentowanie w hierarchii dziedzin informacji zmieniajacej się w czasie.; Representation of information changing in time in Hierarchy of domains. - Hajnicz, Elżbieta; Pilitowski, Andrzej