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