Mobile Ambients with Timers and Types

Aman, Bogdan; Ciobanu, Gabriel

doi:10.1007/978-3-540-75292-9_4

Cited by 15 publications

(24 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Following this research line, we have previously extended mobile ambients with timers [2] and types [1] in order to study their ability of modelling complex systems in distributed networks.…”

Section: Resultsmentioning

confidence: 99%

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

Aman

Ciobanu

2012

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Resultsmentioning

confidence: 99%

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

Aman

Ciobanu

2012

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The authors of the current paper have also considered time to "control" the computation in two other formalisms: mobile ambients [2][3][4] and distributed π-calculus [13,14]. Timers define timeouts for various resources, making them available only for a determined period of time.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

Adding Lifetime to Objects and Membranes in P Systems

Aman¹,

Ciobanu²

2010

INT J COMPUT COMMUN

Self Cite

View full text Add to dashboard Cite

Membrane systems are computing devices inspired from the cell functioning. A feature of membrane systems is the fact that objects and membranes are persistent. In fact, this is not quite true in the real world: cells and intracellular proteins have a well-defined lifetime. Inspired from these biological facts, we define a model of membrane systems in which each membrane and each object has attached a lifetime. Some results show that this model is at least as powerful as the usual one.

show abstract

“…Since an extension with time for mobile ambients already exists [2,3,4], and one for mobile membranes is presented in this paper, it is natural to study what is the relationship between these two extensions: timed safe mobile ambients and systems of mutual mobile membranes with timers.…”

Section: From Timed Mobile Ambients To Mobile Membranes With Timersmentioning

confidence: 99%

“…Several variants of the ambient calculus have been proposed by adding and/or removing features of the original calculus [8,23,27]. Time has been considered in the framework of ambient calculus in [2,3,4].…”

Section: Timed Safe Mobile Ambientsmentioning

confidence: 99%

See 1 more Smart Citation

Mutual Mobile Membranes with Timers

Aman

Ciobanu

2009

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

A feature of current membrane systems is the fact that objects and membranes are persistent. However, this is not true in the real world. In fact, cells and intracellular proteins have a well-defined lifetime. Inspired from these biological facts, we define a model of systems of mobile membranes in which each membrane and each object has a timer representing their lifetime. We show that systems of mutual mobile membranes with and without timers have the same computational power. An encoding of timed safe mobile ambients into systems of mutual mobile membranes with timers offers a relationship between two formalisms used in describing biological systems.

show abstract

Mobile Ambients with Timers and Types

Cited by 15 publications

References 8 publications

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

Adding Lifetime to Objects and Membranes in P Systems

Mutual Mobile Membranes with Timers

Contact Info

Product

Resources

About