Name Matching v.s. Structure Matching in Typing Systems for the Polyadic π-Calculus
| Autor: | Togashi, Atsushi |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 1997 |
| Zdroj: | Studies in information, Shizuoka University. 2:25-42 |
| ISSN: | 1342-0909 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|