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

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 1997, ročník: 1997, vydání: 5

• Temporal Synchronous Concurrent Constraint Programming

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

  Kapitola v knize

  COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems, rok: 1997, počet stran: 16 s.

1996

• A process Algebra for Synchronous Concurrent Constraint Programming

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

  Článek v odborném periodiku

  TR City University, U.K., rok: 1996, ročník: 1996, vydání: 6

• A process algebra for Synchronous Concurrent Constraint Programming

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

  Kapitola v knize

  ALP96: Fifth Int. Conference on Algebraic and Logic Programm, rok: 1996, počet stran: 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

  Článek ve sborníku

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

• Comparing Expressibility of Normed BPA and Normed BPP Processes

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

  Článek v odborném periodiku

  FI MU Report Series, rok: 1996, ročník: 1996, vydání: 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

  Článek v odborném periodiku

  TR City University, U.K., rok: 1996, ročník: 1996, vydání: 3

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

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

  Kapitola v knize

  CSL96 - The 1996 Annual Conference of the European Assoc.., rok: 1996, počet stran: 3 s.

1995

• A process algebra for Synchronous Concurrent Constraint Programming

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

  Článek v odborném periodiku

  Technical Report of Namur University, rok: 1995, ročník: 1995, vydání: 8

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

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

  Článek v odborném periodiku

  TR City University, U.K., rok: 1995, ročník: 1995, vydání: 10