Frequently viewed
-
An algebraic way of defining place/transition Petri nets and their behaviours.
[32]
-
On equivalence of behaviour expressions.
[29]
-
An algebraic model for timed behaviours.
[25]
-
Formalizacja systemu wnioskowania o zależnościach czasowych między zdarzeniami
[18]
-
Reprezentowanie w hierarchii dziedzin informacji zmieniajacej się w czasie.
[15]
Recently added
