|
Search the dblp DataBase
Mojmír Kretínský:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský
A Process Algebra for Synchronous Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] ALP, 1996, pp:165-178 [Conf]
- Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Extended Process Rewrite Systems: Expressiveness and Reachability. [Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:355-370 [Conf]
- Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Decidability of LTL Model Checking for Process Rewrite Systems. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:248-259 [Conf]
- Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Reachability of Hennessy-Milner Properties for Weakly Extended PRS. [Citation Graph (0, 0)][DBLP] FSTTCS, 2005, pp:213-224 [Conf]
- Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
Synchronisation in Scc. [Citation Graph (0, 0)][DBLP] ILPS, 1995, pp:641- [Conf]
- Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
Multi-agent Systems as Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP] SOFSEM, 2001, pp:201-210 [Conf]
- Ivana Cerná, Mojmír Kretínský, Antonín Kucera
Comparing Expressibility of Normed BPA and Normed BPP Processes. [Citation Graph (0, 0)][DBLP] Acta Inf., 1999, v:36, n:3, pp:233-256 [Journal]
- Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 2002, v:21, n:6, pp:- [Journal]
- Ivana Cerná, Mojmír Kretínský, Antonín Kucera
Bisimilarity is decidable in the union of normed BPA and normed BPP processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
- Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
- Petr Jancar, Mojmír Kretínský
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
- Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:98, n:, pp:75-88 [Journal]
- Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Refining the Undecidability Border of Weak Bisimilarity. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:17-36 [Journal]
- Lubos Brim, Mojmír Kretínský
Model-Checking Large Finite-State Systems and Beyond. [Citation Graph (0, 0)][DBLP] SOFSEM (1), 2007, pp:9-28 [Conf]
On decidability of LTL model checking for process rewrite systems. [Citation Graph (, )][DBLP]
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|