Encoding mobile ambients into pi-calculusстатья

Дата последнего поиска статьи во внешних источниках: 29 мая 2015 г.