Nie jesteś zalogowany |
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.
