Eintrag weiter verarbeiten
Executable Behaviour and the π-Calculus (extended abstract)
Verfasser / Komponist: | Bas Luttik |
---|---|
beteiligte Personen: | Bas Luttik • Fei Yang |
In: | Electronic Proceedings in Theoretical Computer Science, 189, 2015, S. 37-52 |
Medientyp: | E-Article |
Umfang: | 37-52 |