prof. RNDr. Luboš Brim, CSc.

2000

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Odborná kniha

  Rok: 2000, počet stran: 16 s.

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

  Článek v odborném periodiku

  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

  Článek v odborném periodiku

  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

• Adding Time via Timed Transitions to Concurrent Constraint Programming

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

  Kapitola v knize

  ERCIM/COMPULOG Workshop, rok: 1997, počet stran: 12 s.

• Temporal Synchronous Concurrent Constraint Programming

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

  Kapitola v 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

  Článek v odborném periodiku

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

  Článek v odborném periodiku

  TR City University, U.K., rok: 1996, ročník: 1996, vydání: 3

1995

• A process algebra for Synchronous Concurrent Constraint Programming

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

  Článek v odborném periodiku

  Technical Report of Namur University, rok: 1995, ročník: 1995, vydání: 8