Amsterdam, The Netherlands, August 27–30, 1990 Proceedings
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 2-30
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 33-56
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 57-69
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 70-82
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 83-98
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 99-114
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 126-138
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 141-151
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 152-165
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 166-181
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 182-198
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 199-214
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 216-229
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 230-245
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 246-262