prof. RNDr. Mojmír Křetínský, CSc.

1997

• Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

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

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 1997, volume: 1997, edition: 5

• Temporal Synchronous Concurrent Constraint Programming

  BRIM Luboš GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír

  Chapter of a book

  COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems, year: 1997, number of pages: 16 s.

1996

• A process Algebra for Synchronous Concurrent Constraint Programming

  BRIM Luboš GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír

  Article in Periodical

  TR City University, U.K., year: 1996, volume: 1996, edition: 6

• A process algebra for Synchronous Concurrent Constraint Programming

  BRIM Lubos GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír

  Chapter of a book

  ALP96: Fifth Int. Conference on Algebraic and Logic Programm, year: 1996, number of pages: 14 s.

• Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

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

  Article in Proceedings

  Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96), year: 1996

• Comparing Expressibility of Normed BPA and Normed BPP Processes

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

  Article in Periodical

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

• New versions of asks for synchronous communication in concurrent constraint programming

  BRIM Lubos GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír

  Article in Periodical

  TR City University, U.K., year: 1996, volume: 1996, edition: 3

• 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.

1995

• A process algebra for Synchronous Concurrent Constraint Programming

  BRIM Lubos GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír

  Article in Periodical

  Technical Report of Namur University, year: 1995, volume: 1995, edition: 8

• New versions of Ask and Tell for synchronous communication in CCP

  BRIM Lubos GILBERT David JACQUET Jean-Marie KŘETÍNSKÝ Mojmír

  Article in Periodical

  TR City University, U.K., year: 1995, volume: 1995, edition: 10