EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998 (Q1273564)

From MaRDI portal





scientific article; zbMATH DE number 1231281
Language Label Description Also known as
English
EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998
scientific article; zbMATH DE number 1231281

    Statements

    EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998 (English)
    0 references
    8 December 1998
    0 references
    The articles of this volume will be reviewed individually. Indexed articles: \textit{Baeten, J. C. M.; Bergstra, J. A.}, Deadlock behaviour in split and ST bisimulation semantics, electronic paper No. 2 [Zbl 0919.68081] \textit{Hennessy, M.}, A survey of location calculi, electronic paper No. 4 [Zbl 0917.68066] \textit{Kleijn, H. C. M.; Morin, R.; Rozoy, B.}, Event structures for local traces, electronic paper No. 5 [Zbl 0917.68157] \textit{Kwiatkowska, M. Z.; Norman, G. J.}, A testing equivalence for reactive probabilistic processes, electronic paper No. 6 [Zbl 0917.68154] \textit{Merro, Massimo}, On the expressiveness of chi, update, and fusion calculi, electronic paper No. 7 [Zbl 0917.68071] \textit{Nestmann, Uwe}, On the expressive power of joint input, electronic paper No. 8 [Zbl 0917.68070] \textit{Thiagarajan, P. S.}, Some logical and automata-theoretic aspects of product behaviors, electronic paper No. 9 [Zbl 0917.68148] \textit{Zavattaro, Gianluigi}, Towards a hierarchy of negative test operators for generative communication, electronic paper No. 10 [Zbl 0917.68073] \textit{Brogi, Antonio; Jacquet, Jean-Marie}, On the expressiveness of Linda-like concurrent languages, electronic paper No. 3 [Zbl 0917.68026]
    0 references
    Nice (France)
    0 references
    Workshop
    0 references
    Proceedings
    0 references
    EXPRESS '98
    0 references
    Expressiveness
    0 references
    Concurrency
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references