Petr Jancar, Mojmir Kretinsky (eds.)  Home/Search
Context
Related
| fi.muni.cz/informat...FIMURS9806.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: liafa.jussieu.fr/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: State-Space from a Partial-Order Representation of the Concrete One ::::::::::::::::::::::::::::::::::160 U. Nitsche Characterizing BisimilarityofValue-passing Processes with Context-free Control :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::171 P. Paczkowski Hardness Results for Weak Bisimilarity of Simple Process Algebra ::::175 J. Stribrna Place Bisimulation Equivalences for Design of Concurrent Systems ::::184 I. V. Tarasyuk On the Semantics of Concurrency and... (Update)
Similar documents (at the sentence level):
7.7%: Automatically Proving Up-to Bisimulation - Hirschkoff (1998) (Correct)
6.3%: A Taxonomy of Infinite State Processes - Moller (1998) (Correct)
Similar documents based on text: More All
0.5: Multi-Agent Systems as Concurrent Constraint Processes - Brim, Gilbert, Jacquet.. (2001) (Correct)
0.5: Local Distributed Model Checking of RegCT - Brazdil (2002) (Correct)
0.4: Pattern Equations and Equations with Stuttering - Cerná, Klíma, Srba (Correct)
BibTeX entry: (Update)
@misc{ jancar-preproceedings,
author = "Petr Jancar and Mojmir Kretinsky (eds.)",
title = "Pre-proceedings: MFCS'98 Workshop on Concurrency August 27-29, 1998 Brno,
Czech Republic",
url = "citeseer.ist.psu.edu/jancar98preproceedings.html" }
Citations not processed or no citations identified.
Documents on the same site (http://www.liafa.jussieu.fr/~mayr/publications.html): More
Undecidable Problems in Unreliable Computations - Mayr (2000) (Correct)
On the Complexity of Bisimulation Problems for Pushdown Automata - Mayr (2000) (Correct)
On the Complexity of Bisimulation Problems for Basic Parallel.. - Mayr (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC