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

Volltext

CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings von Brim, Lubos, Jancar, Petr, Kretinsky, Mojmir, Kucera, Antonin

Volltext

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

Volltext

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

Volltext

Extended Process Rewrite Systems: Expressiveness and Reachability von KRETINSKY, Mojmir, REHAK, Vojtech, STREJCEK, Jan

Volltext

Decision Algorithms for Probabilistic Bisimulation von Cattani, Stefano, Segala, Roberto

Volltext

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

Volltext

Decidability of Strong Bisimilarity for Timed BPP von Lasota, Sławomir

Volltext

A Spatial Logic for Concurrency (Part II) von Caires, Luís, Cardelli, Luca

Volltext

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

Volltext

On Name Generation and Set-Based Analysis in the Dolev-Yao Model von Amadio, Roberto M., Charatonik, Witold

Volltext

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

Volltext

Orchestrating Transactions in Join Calculus von Bruni, Roberto, Laneve, Cosimo, Montanari, Ugo

Volltext

Network Invariants in Action von Kesten, Yonit, Pnueli, Amir, Shahar, Elad, Zuck, Lenore

Volltext

Using Ambients to Control Resources von Teller, David, Zimmer, Pascal, Hirschkoff, Daniel

Volltext

A Decidable Class of Asynchronous Distributed Controllers von Madhusudan, P., Thiagarajan, P. S.

Volltext

Modelling multi-agent systems as synchronous concurrent constraint processes von BRIM, Lubos, KRETINSKY, Mojmir, JACQUET, Jean-Marie, GILBERT, David

Volltext

Model-Checking Large Finite-State Systems and Beyond von Leeuwen, J. van

Volltext

A Framework for the Analysis of Security Protocols von Boreale, Michele, Buscemi, Maria Grazia

Volltext

Typing and Subtyping Mobility in Boxed Ambients von Merro, Massimo, Sassone, Vladimiro

Volltext