EXPRESS '99. The 6th international workshop on expressiveness in concurrency, Eindhoven, the Netherlands, August 23, 1999 (Q1574782)

The articles of this volume will be reviewed individually. The preceding workshop (5th, 1998) has been indicated (see Zbl 0903.00062). Indexed articles: \textit{Wehrheim, Heike}, Partial order reductions for failures refinement, 14 p., electronic only [Zbl 0958.68102] \textit{Merro, Massimo}, On equators in asynchronous name-passing calculi without matching. (Extended abstract), 14 p., electronic only [Zbl 0958.68114] \textit{Juhás, Gabriel}, Petri nets with generalized algebra: A comparison, 15 p., electronic only [Zbl 0958.68113] \textit{Tini, Simone}, On the expressiveness of timed concurrent constraint programming, 15 p., electronic only [Zbl 0958.68044] \textit{Langerak, Rom}, Deriving a graph rewriting system from a complete finite prefix of an unfolding, 17 p., electronic only [Zbl 0958.68075] \textit{Bravetti, Mario; Gorrieri, Roberto}, Axiomatizing ST bisimulation for a process algebra with recursion and action refinement. (Extended abstract), 20 p., electronic only [Zbl 0958.68115] \textit{Fröschle, Sibylle}, Decidability of plain and hereditary history-preserving bisimilarity for BPP, 22 p., electronic only [Zbl 0958.68101] \textit{Ingólfsdóttir, Anna; Pugliese, Rosario}, Towards verified lazy implementation of concurrent value-passing languages (abstract), 7 p., electronic only [Zbl 0966.68032]