Travelled to:1 × Estonia
1 × Germany
1 × USA
Collaborated with:L.Brim J.Jacquet D.R.Gilbert T.Babiak V.Rehák J.Strejcek
Talks about:determinist (1) synchronis (1) constraint (1) translat (1) synchron (1) automata (1) program (1) process (1) concurr (1) algebra (1)
Person: Mojmír Kretínský
DBLP: Kret=iacute=nsk=yacute=:Mojm=iacute=r
Contributed to:
2012
1996
1995Wrote 3 papers:
- TACAS-2012-BabiakKRS #automaton #ltl #performance
- LTL to Büchi Automata Translation: Fast and More Deterministic (TB, MK, VR, JS), pp. 95–109.
- ALP-1996-BrimJGK #algebra #concurrent #constraints #process #programming
- A Process Algebra for Synchronous Concurrent Constraint Programming (LB, JMJ, DRG, MK), pp. 165–178.
- ILPS-1995-BrimGJK
- Synchronisation in Scc (LB, DRG, JMJ, MK), p. 641.