prof. RNDr. Luboš Brim, CSc.

1999

• A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

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

  Recenzovaný odborný článek

  FI MU Report Series, rok: 1999, ročník: 1999, vydání: 08

1998

• A fully abstract semantics for synchronous and asynchronous ccp

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

  Recenzovaný odborný článek

  Technical Report of Namur University, rok: 1998, ročník: 1998, vydání: 1

• Mathematical Foundations of Computer Science 1998

  BRIM Luboš GRUSKA Jozef ZLATUŠKA Jiří

  Odborná kniha

  Rok: 1998, počet stran: 846 s.

1997

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

• 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

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.

1994

• Modal mu-Calculus with Distances

  BRIM Luboš

  Recenzovaný odborný článek

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

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.