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

1999

• Comparing Expressibility of Normed BPA and Normed BPP Processes.

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

  Recenzovaný odborný článek

  Acta informatica, rok: 1999, ročník: 36, vydání: 3

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

  Recenzovaný odborný článek

  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 odborné 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

  Recenzovaný odborný článek

  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 odborné 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

  Stať ve sborníku

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

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

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

  Recenzovaný odborný článek

  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 odborné knize

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

1995

• Synchronisation in Scc

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

  Kapitola v odborné knize

  ILPS´95, rok: 1995, počet stran: 2 s.

1993

• Operational semantics of concurrent logical systems.

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

  Kapitola v odborné knize

  ALP-UK Workshop on Cocurrency in Computational Logic, rok: 1993, počet stran: 6 s.