|
|
Volumn 10, Issue , 1998, Pages 197-
|
|
Specification diagrams for actor systems
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRA;
COMPUTER PROGRAMMING LANGUAGES;
FORMAL LOGIC;
GRAPHIC METHODS;
SEMANTICS;
ACTOR SYSTEMS;
PROCESS ALGEBRA SPECIFICATIONS;
SPECIFICATION DIAGRAMS;
TEMPORAL LOGIC SPECIFICATIONS;
DISTRIBUTED COMPUTER SYSTEMS;
|
|
EID: 0009948707
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80698-X Document Type: Conference Paper |
|
Times cited : (2)
|
|
References (0)
|