Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Boneva, Iovka
and
Talbot, Jean-Marc
2003.
Foundations of Software Science and Computation Structures.
Vol. 2620,
Issue. ,
p.
169.
Brodo, Linda
Degano, Pierpaolo
and
Priami, Corrado
2003.
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems.
Vol. 2874,
Issue. ,
p.
25.
Busi, Nadia
and
Zavattaro, Gianluigi
2004.
On the expressive power of movement and restriction in pure mobile ambients.
Theoretical Computer Science,
Vol. 322,
Issue. 3,
p.
477.
Phillips, Iain
and
Vigliotti, Maria Grazia
2004.
Foundations of Software Science and Computation Structures.
Vol. 2987,
Issue. ,
p.
408.
Guan, Xudong
2005.
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 128,
Issue. 2,
p.
169.
Boneva, Iovka
and
Talbot, Jean-Marc
2005.
When ambients cannot be opened.
Theoretical Computer Science,
Vol. 333,
Issue. 1-2,
p.
127.
Phillips, Iain
and
Vigliotti, Maria Grazia
2005.
Leader Election in Rings of Ambient Processes.
Electronic Notes in Theoretical Computer Science,
Vol. 128,
Issue. 2,
p.
185.
Maffeis, Sergio
and
Phillips, Iain
2005.
On the computational strength of pure ambient calculi.
Theoretical Computer Science,
Vol. 330,
Issue. 3,
p.
501.
Phillips, Iain
and
Vigliotti, Maria Grazia
2006.
Leader election in rings of ambient processes.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
468.
Guan, Xudong
2006.
Name-passing in an ambient-like calculus and its proof using spatial logic.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
440.
Bundgaard, Mikkel
Hildebrandt, Thomas
and
Godskesen, Jens Chr.
2006.
A CPS encoding of name-passing in Higher-order mobile embedded resources.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
422.
Levi, Francesca
2006.
A typed encoding of boxed into safe ambients.
Acta Informatica,
Vol. 42,
Issue. 6-7,
p.
429.
Fu, Yuxi
2007.
Fair ambients.
Acta Informatica,
Vol. 43,
Issue. 8,
p.
535.
Ciobanu, Gabriel
and
Zakharov, Vladimir A.
2007.
Perspectives of Systems Informatics.
Vol. 4378,
Issue. ,
p.
148.
Vigliotti, Maria Grazia
Phillips, Iain
and
Palamidessi, Catuscia
2007.
Tutorial on separation results in process calculi via leader election problems.
Theoretical Computer Science,
Vol. 388,
Issue. 1-3,
p.
267.
Phillips, Iain
and
Vigliotti, Maria Grazia
2008.
Symmetric electoral systems for ambient calculi.
Information and Computation,
Vol. 206,
Issue. 1,
p.
34.
Bundgaard, Mikkel
Godskesen, Jens Chr.
Haagensen, Bjørn
and
Hüttel, Hans
2009.
Decidable Fragments of a Higher Order Calculus with Locations.
Electronic Notes in Theoretical Computer Science,
Vol. 242,
Issue. 1,
p.
113.
Gorla, Daniele
2009.
On the Relative Expressive Power of Calculi for Mobility.
Electronic Notes in Theoretical Computer Science,
Vol. 249,
Issue. ,
p.
269.
Gorla, Daniele
2010.
A taxonomy of process calculi for distribution and mobility.
Distributed Computing,
Vol. 23,
Issue. 4,
p.
273.
Brodo, Linda
2011.
Algebraic Methodology and Software Technology.
Vol. 6486,
Issue. ,
p.
44.