Formalization of semantics of systems with unreliable agents by means of nets of active resources

Author: Bashkin V.  

Publisher: MAIK Nauka/Interperiodica

ISSN: 0361-7688

Source: Programming and Computer Software, Vol.36, Iss.4, 2010-07, pp. : 187-196

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract