Temporal linear logic specifications for concurrent processes (extended abstract)
収録刊行物
-
- Proc. 12th Annual IEEE Symposium on Logic in Computer Science
-
Proc. 12th Annual IEEE Symposium on Logic in Computer Science 48-57, 1998