prof. RNDr. Luboš Brim, CSc.

1995

• 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

• 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

• Modal mu-Calculus with Distances

  BRIM Luboš

  Článek v odborném periodiku

  Scripta Fac.Brun., rok: 1994, ročník: 1994, vydání: 23

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

1992

• Analysing time aspects of dynamic systems

  BRIM Luboš

  Článek ve sborníku

  Proc. EMCSR'92, rok: 1992

• Modal logics for timed process algebras

  BRIM Luboš

  Článek ve sborníku

  First North American First North American Process Algebra Workshop, rok: 1992

1984

• DIJKSTROVŠTINY aneb programování jako věda

  BRIM Luboš HOŘEJŠ Jiří

  Článek ve sborníku

  Proc. SOFSEM 84, rok: 1984

1982

• Automatická syntéza programů

  HOŘEJŠ Jiří BRIM Luboš

  Článek ve sborníku

  Proc. SOFSEM 82, rok: 1982