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