On decidability and model checking for a first order modal logic for value-passing processes

✍ Scribed by Rui Xue; Huimin Lin

• Book ID: 111784540
• Publisher: Science in China Press (SCP)
• Year: 2003
• Tongue: English
• Weight: 255 KB
• Volume: 46
• Category: Article
• ISSN: 1674-733X
• DOI: 10.1360/03yf9004