Temporal linear logic specifications for concurrent processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 48-57

  Kanovich, Max ^a   Ito, Takayasu ^a  

^a RUSSIAN STATE UNIVERSITY FOR THE HUMANITIES   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; THEOREM PROVING;

CONCURRENT PROCESS; TEMPORAL LINEAR LOGIC (TTL);

FORMAL LOGIC;

EID: 0030654533     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)