|
|
|
Volumn , Issue C-10, 1993, Pages 331-346
|
|
Bundle event structures: A non-interleaving semantics for LOTOS
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
BOOLEAN ALGEBRA;
COMPUTATIONAL LINGUISTICS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
DATA STRUCTURES;
EQUIVALENCE CLASSES;
SET THEORY;
BINARY CONFLICT RELATION;
BUNDLE EVENT STRUCTURES;
FLOW EVENT STRUCTURES;
LANGUAGE OF TEMPORAL ORDERING SPECIFICATION (LOTOS);
FORMAL LANGUAGES;
|
|
EID: 0027740842
PISSN: 0926549X
EISSN: None
Source Type: Book
DOI: None Document Type: Book |
|
Times cited : (65)
|
|
References (24)
|
