See this document in CiteSeerX!

Pre-proceedings: MFCS'98 Workshop on Concurrency August 27-29, 1998 Brno, Czech Republic (1998)  (Make Corrections)  
Petr Jancar, Mojmir Kretinsky (eds.)



  Home/Search   Context   Related

 
View or download:
fi.muni.cz/informat...FIMURS9806.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  liafa.jussieu.fr/~...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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