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

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