![]() |
Volumn 3312, Issue , 2004, Pages 337-351
|
An operational semantics for weak PSL
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTATIONAL LINGUISTICS;
COMPUTER AIDED DESIGN;
COMPUTER CIRCUITS;
COMPUTER PROGRAMMING LANGUAGES;
RECONFIGURABLE HARDWARE;
SEMANTICS;
SPECIFICATION LANGUAGES;
DENOTATIONAL SEMANTICS;
FORMAL DENOTATIONAL SEMANTICS;
LINEAR TEMPORAL LOGIC;
NON-TRIVIAL TASKS;
OPERATIONAL SEMANTICS;
OTHER PROPERTIES;
PROPERTY SPECIFICATION LANGUAGE;
REGULAR EXPRESSIONS;
FORMAL METHODS;
|
EID: 33846567603
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-540-30494-4_24 Document Type: Article |
Times cited : (14)
|
References (10)
|