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

1995

• Synchronisation in Scc

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

  Kapitola v knize

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

1994

• On Synchronous Communication in Concurrent Constraint Programming

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

  Článek v odborném periodiku

  Technical Report of Namur University, rok: 1994, ročník: 1994, vydání: prelim.rep

1993

• Operational semantics of concurrent logical systems.

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

  Kapitola v knize

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