- Antonia Sinachopoulos:
Partial Order Logics for Elementary Net Systems: State- and Event-approaches. CONCUR 1990: 442-455 - Scott A. Smolka, Bernhard Steffen:
Priority as Extremal Probability. CONCUR 1990: 456-466 - Chris M. N. Tofts:
A Synchronous Calculus of Relative Frequency. CONCUR 1990: 467-480 - Glynn Winskel:
On the Compositional Checking of Validity (Extended Abstract). CONCUR 1990: 481-501 - Wang Yi:
Real-Time Behaviour of Asynchronous Agents. CONCUR 1990: 502-520 - Serge Yoccoz:
Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics. CONCUR 1990: 521-536 - Jos C. M. Baeten, Jan Willem Klop:
CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings. Lecture Notes in Computer Science 458, Springer 1990, ISBN 3-540-53048-7 [contents]
