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

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

Related content

Logic of Change: Semantics of Object Systems with Active Relations

By Bider I.

Automated Software Engineering, Vol. 7, Iss. 1, 2000-03 ,pp. : 9-37

Springer Publishing Company

Access to resources Recommend Favorite

An event structure semantics for general Petri nets

By Hoogers P.W. Kleijn H.C.M. Thiagarajan P.S.

Theoretical Computer Science, Vol. 153, Iss. 1, 1996-01 ,pp. : 129-170

Elsevier

Access to resources Recommend Favorite

A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 1, Iss. 4, 2009-10 ,pp. : 90-110

IGI Global_journal

Access to resources Recommend Favorite

Protocol Moderators as Active Middle-Agents in Multi-Agent Systems

By Hanachi Chihab

Autonomous Agents and Multi-Agent Systems, Vol. 8, Iss. 2, 2004-03 ,pp. : 131-164

Springer Publishing Company

Access to resources Recommend Favorite

Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets

By Mahulea Cristian Recalde Laura Silva Manuel

Discrete Event Dynamic Systems, Vol. 19, Iss. 2, 2009-06 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite