DMCA

Propositional Temporal Linear Logic and its Application to Concurrent Systems (2000)

by Takaharu Hirai
Venue:IEICE TRANSACTIONS (SPECIAL SECTION ON CONCURRENT SYSTEMS TECHNOLOGY
Citations:3 - 1 self