default search action
"Local pi-Calculus at Work: Mobile Objects as Mobile Processes."
Massimo Merro, Josva Kleist, Uwe Nestmann (2000)
- Massimo Merro, Josva Kleist, Uwe Nestmann:
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS 2000: 390-408
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.