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

  Article in Periodical

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

• Synchronisation in Scc

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

  Chapter of a book

  ILPS´95, year: 1995, number of pages: 2 s.

1994

• Modal mu-Calculus with Distances

  BRIM Luboš

  Article in Periodical

  Scripta Fac.Brun., year: 1994, volume: 1994, edition: 23

• On Synchronous Communication in Concurrent Constraint Programming

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

  Article in Periodical

  Technical Report of Namur University, year: 1994, volume: 1994, edition: prelim.rep

1993

• Operational semantics of concurrent logical systems.

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

  Chapter of a book

  ALP-UK Workshop on Cocurrency in Computational Logic, year: 1993, number of pages: 6 s.

1992

• Analysing time aspects of dynamic systems

  BRIM Luboš

  Article in Proceedings

  Proc. EMCSR'92, year: 1992

• Modal logics for timed process algebras

  BRIM Luboš

  Article in Proceedings

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

1984

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

  BRIM Luboš HOŘEJŠ Jiří

  Article in Proceedings

  Proc. SOFSEM 84, year: 1984

1982

• Automatická syntéza programů

  HOŘEJŠ Jiří BRIM Luboš

  Article in Proceedings

  Proc. SOFSEM 82, year: 1982