Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract).
Max I. KanovichTakayasu ItoPublished in: LICS (1997)
Keyphrases
- extended abstract
- linear logic
- concurrent processes
- sequent calculus
- cut elimination
- fixed point
- proof theoretic
- petri net
- high level
- temporal information
- intuitionistic logic
- inference rules
- logic programming
- logical framework
- desirable properties
- concurrent programs
- concurrent systems
- finite state machines
- spatial information