prof. RNDr. Antonín Kučera, Ph.D.

1996

• How to Parallelize Sequential Processes

  KUČERA Antonín

  Article in Periodical

  FI MU Report Series, year: 1996, volume: 1996, edition: RS-96-05

• On the Relationship between Sequential and Parallel Compositions in Process Algebras

  ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

  Chapter of a book

  CSL96 - The 1996 Annual Conference of the European Assoc.., year: 1996, number of pages: 3 s.

• Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.

  KUČERA Antonín

  Article in Proceedings

  Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96), year: 1996

• Regularity is Decidable for Normed PA Processes in Polynomial Time

  KUČERA Antonín

  Article in Proceedings

  Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96), year: 1996

• Regularity is Decidable for Normed PA Processes in Polynomial Time

  KUČERA Antonín

  Article in Periodical

  FI MU Report Series, year: 1996, volume: 1996, edition: RS-96-01

1995

• Deciding Regularity in Process Algebras

  KUČERA Antonín

  Article in Periodical

  BRICS Report Series, year: 1995, volume: 1995, edition: RS-95-52