Buchholz Peter

Publications in Math-Net.Ru

1. Logical characterization of fluid equivalences
   
   Sib. Èlektron. Mat. Izv., 16 (2019),  826–862
2. Equivalences for fluid stochastic Petri nets
   
   Sib. Èlektron. Mat. Izv., 14 (2017),  317–366
3. Equivalences for stochastic Petri nets and stochastic process algebras
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:1 (2006),  14–42