Partially Commutative Context Free Processes

Prelegent(ci)

Wojciech Czerwiński (joint work with Sławomir Lasota)

Afiliacja

Uniwersytet Warszawski

Termin

18 marca 2009 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

I will talk about some new class of processes (transition systems) which could be useful for investigating properties of the Process Algebra (PA), a well known class of transition systems. In particular I will show language differences between PA and PCCFP and shortly describe a new algorithm for testing bisimulation in PCCFP.

---