prof. RNDr. Mojmír Křetínský, CSc.
Professor, Department of Computer Science
Office: C414
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4239 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 53
1995
-
Synchronisation in Scc
ILPS´95, year: 1995, number of pages: 2 s.
1994
-
On Synchronous Communication in Concurrent Constraint Programming
Technical Report of Namur University, year: 1994, volume: 1994, edition: prelim.rep
1993
-
Operational semantics of concurrent logical systems.
ALP-UK Workshop on Cocurrency in Computational Logic, year: 1993, number of pages: 6 s.