Denotational linear time semantics and sequential composition

✍ Scribed by Christel Baier; Mila E. Majster-Cederbaum

• Publisher: Elsevier Science
• Year: 1996
• Tongue: English
• Weight: 822 KB
• Volume: 59
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/0020-0190(96)00101-9