Superposition: composition vs refinement of non-deterministic, action-based systems

✍ Scribed by Antónia Lopes; José Luiz Fiadeiro

• Publisher: Springer
• Year: 2004
• Tongue: English
• Weight: 265 KB
• Volume: 16
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/s00165-003-0021-6