CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540530480, 9783540463955

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Back and forth bisimulations

CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science ◽

10.1007/bfb0039058 ◽

1990 ◽

pp. 152-165 ◽

Author(s):

Rocco De Nicola ◽

Ugo Montanari ◽

Frits Vaandrager

Download Full-text

Effective solutions to domain equations an approach to effective denotational semantics

CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science ◽

10.1007/bfb0039081 ◽

1990 ◽

pp. 521-536 ◽

Author(s):

S. Yoccoz

Keyword(s):

Denotational Semantics

Download Full-text

The linear time - branching time spectrum

CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science ◽

10.1007/bfb0039066 ◽

1990 ◽

pp. 278-297 ◽

Author(s):

R. J. van Glabbeek

Keyword(s):

Linear Time ◽

Time Spectrum ◽

Download Full-text

On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences

CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science ◽

10.1007/bfb0039054 ◽

1990 ◽

pp. 99-114 ◽

Author(s):

Frank S. de Boer ◽

Catuscia Palamidessi

Keyword(s):

Abstract Model ◽

Download Full-text