prof. RNDr. Luboš Brim, CSc.

2000

• Distributed LTL Model-Checking in SPIN

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

  Monograph

  Year: 2000, number of pages: 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

  Article in Periodical

  FI MU Report Series, year: 1999, volume: 1999, edition: 08

1998

• A fully abstract semantics for synchronous and asynchronous ccp

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

  Article in Periodical

  Technical Report of Namur University, year: 1998, volume: 1998, edition: 1

• Mathematical Foundations of Computer Science 1998

  BRIM Luboš GRUSKA Jozef ZLATUŠKA Jiří

  Monograph

  Year: 1998, number of pages: 846 s.

1997

• Adding Time via Timed Transitions to Concurrent Constraint Programming

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

  Chapter of a book

  ERCIM/COMPULOG Workshop, year: 1997, number of pages: 12 s.

• Temporal Synchronous Concurrent Constraint Programming

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

  Chapter of a book

  COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems, year: 1997, number of pages: 16 s.

1996

• A process Algebra for Synchronous Concurrent Constraint Programming

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

  Article in Periodical

  TR City University, U.K., year: 1996, volume: 1996, edition: 6

• A process algebra for Synchronous Concurrent Constraint Programming

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

  Chapter of a book

  ALP96: Fifth Int. Conference on Algebraic and Logic Programm, year: 1996, number of pages: 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

  Article in Periodical

  TR City University, U.K., year: 1996, volume: 1996, edition: 3

1995

• A process algebra for Synchronous Concurrent Constraint Programming

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

  Article in Periodical

  Technical Report of Namur University, year: 1995, volume: 1995, edition: 8