Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract)

✍ Scribed by Max I. Kanovich; Mitsuhiro Okada; Andre Scedrov

• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 1008 KB
• Volume: 16
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80591-2