EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998
type: Item
instance of: scholarly article
title: EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998
zbMATH Open document ID: 0903.00062
published in: Electronic Notes in Theoretical Computer Science
publication date: 1998-12-08T00:00:00Z
review text: 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]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 1231281
zbMATH Keywords: Nice (France)
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: EXPRESS '98
zbMATH Keywords: Expressiveness
zbMATH Keywords: Concurrency
MaRDI profile type: Publication
Recommended article: EXPRESS '99. The 6th international workshop on expressiveness in concurrency, Eindhoven, the Netherlands, August 23, 1999
Recommended article: Proceedings of the 10th international workshop on expressiveness in concurrency (EXPRESS'03), Marseille, France, September 2, 2003
Recommended article: Proceedings of the 12th workshop on expressiveness in concurrency (EXPRESS 2005), San Francisco, CA, USA, August 27, 2005
Recommended article: Proceedings 16th International Workshop on Expressiveness in Concurrency
Recommended article: Proceedings of the 11th international workshop on expressiveness in concurrency (EXPRESS 2004), London, UK, August 30, 2004
Recommended article: Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008
Recommended article: Proceedings 18th International Workshop on Expressiveness in Concurrency
Recommended article: Proceedings 17th International Workshop on Expressiveness in Concurrency
Recommended article: Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006
Recommended article: EXPRESS'02. Papers from the 9th international workshop on expressiveness in concurrency, Brno, Czech Republic, August 19, 2002
description: scientific article; zbMATH DE number 1231281