Models for concurrency: Towards a classification

Theoretical Computer Science

Volumn 170, Issue 1-2, 1996, Pages 297-348

  Sassone, Vladimiro ^a   Nielsen, Mogens ^a   Winskel, Glynn ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; MATHEMATICAL MODELS; PARAMETER ESTIMATION;

CATEGORY THEORY; CONCURRENCY MODELS;

COMPUTATION THEORY;

EID: 0030378486     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00011-4     Document Type: Article

References (22)