Reachability is decidable for weakly extended process rewrite systems by KRETINSKY, Mojmír, REHAK, Vojtech, STREJCEK, Jan

Get full text

On decidability of LTL model checking for process rewrite systems by Bozzelli, Laura, Křetínský, Mojmír, Řehák, Vojtěch, Strejček, Jan

Get full text

Comparing expressibility of normed BPA and normed BPP processes by CERNA, I, KRETINSKY, M, KUCERA, A

Get full text

Petri nets are less expressive than state-extended PA by KRETINSKY, Mojmfr, REHAK, Vojtech, STREJCEK, Jan

Get full text

Preface by Češka, Milan, Kotásek, Zdeněk, Křetínský, Mojmír, Matyska, Luděk, Vojnar, Tomáš

Get full text

Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment by Babiak, Tomáš, Blahoudek, František, Křetínský, Mojmír, Strejček, Jan

Get full text

LTL to Büchi Automata Translation: Fast and More Deterministic by Babiak, Tomáš, Křetínský, Mojmír, Řehák, Vojtěch, Strejček, Jan

Get full text

A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness by Babiak, Tomáš, Křetínský, Mojmír, Řehák, Vojtěch, Strejček, Jan

Get full text

On Decidability of LTL+Past Model Checking for Process Rewrite Systems by Křetínský, Mojmír, Řehák, Vojtěch, Strejček, Jan

Get full text

On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit by Křetı́nský, Mojmı́r, Rehák, Vojtěch, Strejček, Jan

Get full text

Coordination by means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming by Jacquet, Jean-Marie, Brim, Luboaš, Gilbert, David, Křetínský, Mojmír

Get full text

Refining the Undecidability Border of Weak Bisimilarity by Křetínský, Mojmír, Řehák, Vojtěch, Strejček, Jan

Get full text

Preface by Jancar, Petr, Kretinsky, Mojmir

Get full text