Stop the war!
Остановите войну!
for scientists:
default search action
5th EXPRESS 1998: Nice, France
- Ilaria Castellani, Catuscia Palamidessi:
Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(2), Elsevier 1998 - Jos C. M. Baeten, Jan A. Bergstra:
Deadlock Behaviour in Split and ST Bisimulation Semantics. 61-74 - Antonio Brogi, Jean-Marie Jacquet:
On the Expressiveness of Linda-like Concurrent Languages. 75-96 - Matthew Hennessy:
A survey of location calculi. 97 - H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy:
Event Structures for Local Traces. 98-113 - Marta Z. Kwiatkowska, Gethin Norman:
A Testing Equivalence for Reactive Probabilistic Processes. 114-132 - Massimo Merro:
On the Expressiveness of Chi, Update, and Fusion calculi. 133-144 - Uwe Nestmann:
On the Expressive Power of Joint Input. 145-152 - P. S. Thiagarajan:
Some Logical and Automata-Theoretic Aspects of Product Behaviours. 153 - Gianluigi Zavattaro:
Towards a Hierarchy of Negative Test Operators for Generative Communication. 154-170 - Ilaria Castellani, Catuscia Palamidessi:
Preface. 171-172
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.