Author:
Czerwiński Wojciech,Jančar Petr,Kot Martin,Sawa Zdeněk
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Benedikt, M., Göller, S., Kiefer, S., Murawski, A.: Bisimilarity of pushdown systems is nonelementary. In: Proc. 28th LiCS. IEEE Computer Society (to appear, 2013)
2. Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification on infinite structures. In: Handbook of Process Algebra, pp. 545–623. Elsevier (2001)
3. Lecture Notes in Computer Science;O. Burkart,1995
4. Černá, I., Křetínský, M., Kučera, A.: Comparing expressibility of normed BPA and normed BPP processes. Acta Informatica 36, 233–256 (1999)
5. Czerwinski, W., Fröschle, S.B., Lasota, S.: Partially-commutative context-free processes: Expressibility and tractability. Information and Computation 209(5), 782–798 (2011)