Action systems, unbounded nondeterminism, and infinite traces

✍ Scribed by Michael Butler; Carroll Morgan

• Publisher: Springer
• Year: 1995
• Tongue: English
• Weight: 991 KB
• Volume: 7
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/bf01214622