Complete sets of axioms for finite basic LOTOS behavioural equivalences

✍ Scribed by M. Boreale; P. Inverardi; M. Nesi

• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 527 KB
• Volume: 43
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/0020-0190(92)90008-j