|
|
|
Volumn , Issue , 1995, Pages 123-133
|
|
On the verification problem of nonregular properties for nonregular processes
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRA;
ALGORITHMS;
COMPUTABILITY AND DECIDABILITY;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
CONSTRAINT THEORY;
CONTEXT FREE LANGUAGES;
CONTEXT SENSITIVE LANGUAGES;
EQUIVALENCE CLASSES;
FORMAL LOGIC;
PARALLEL PROCESSING SYSTEMS;
TREES (MATHEMATICS);
BASIC PARALLEL PROCESSES;
BASIC PROCESS ALGEBRA;
LINEAR-TIME TEMPORAL LOGIC;
MERGE OPERATION;
MODEL-CHECKING ALGORITHMS;
NONREGULAR PROCESSES;
NONREGULAR PROPERTIES;
PATTERN CONSTRAINTS;
PRESBURGER FORMULAS;
VERIFICATION PROBLEM;
FINITE AUTOMATA;
|
|
EID: 0029180339
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (47)
|
|
References (33)
|
