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