prof. RNDr. Mojmír Křetínský, CSc.

2003

• Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Year: 2003

2002

• CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.

  BRIM Luboš JANČAR Petr KŘETÍNSKÝ Mojmír KUČERA Antonín

  Monograph

  Year: 2002, number of pages: 609 s.

• Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming

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

  Article in Proceedings

  Foundations of Coordination Languages and Software Architecture (FOCLASA`02), year: 2002

2001

• Multi-Agents Systems as Concurrent Constraint Processes

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

  Article in Proceedings

  SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics, year: 2001

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

• Comparing Expressibility of Normed BPA and Normed BPP Processes.

  ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

  Article in Periodical

  Acta informatica, year: 1999, volume: 36, edition: 3

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

• MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings

  JANČAR Petr KŘETÍNSKÝ Mojmír

  Article in Periodical

  FI MU Report Series, year: 1998, volume: 1998, edition: 06

• Proceedings of the MFCS'98 Workshop on Concurrency

  JANČAR Petr KŘETÍNSKÝ Mojmír

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 1998, volume: 1998, edition: Vol.18

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.