Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Cremet, Vincent
and
Odersky, Martin
2004.
Domain-Specific Program Generation.
Vol. 3016,
Issue. ,
p.
180.
Boreale, Michele
Buscemi, Maria Grazia
and
Montanari, Ugo
2004.
Programming Languages and Systems.
Vol. 3302,
Issue. ,
p.
296.
Deng, Yuxin
and
Sangiorgi, Davide
2004.
Exploring New Frontiers of Theoretical Informatics.
Vol. 155,
Issue. ,
p.
619.
Phillips, Iain
and
Vigliotti, Maria Grazia
2004.
Foundations of Software Science and Computation Structures.
Vol. 2987,
Issue. ,
p.
408.
Bravetti, Mario
Gorrieri, Roberto
Lucchi, Roberto
and
Zavattaro, Gianluigi
2005.
Quantitative information in the tuple space coordination model.
Theoretical Computer Science,
Vol. 346,
Issue. 1,
p.
28.
Palamidessi, Catuscia
and
Herescu, Oltea Mihaela
2005.
A randomized encoding of the π-calculus with mixed choice.
Theoretical Computer Science,
Vol. 335,
Issue. 2-3,
p.
373.
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.
De Nicola, Rocco
Gorla, Daniele
and
Pugliese, Rosario
2005.
Automata, Languages and Programming.
Vol. 3580,
Issue. ,
p.
1226.
Boreale, Michele
Buscemi, Maria Grazia
and
Montanari, Ugo
2005.
Trustworthy Global Computing.
Vol. 3705,
Issue. ,
p.
61.
Phillips, Iain
and
Vigliotti, Maria Grazia
2006.
Leader election in rings of ambient processes.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
468.
Cacciagrano, Diletta
Corradini, Flavio
and
Palamidessi, Catuscia
2006.
Separation of Synchronous and Asynchronous Communication Via Testing.
Electronic Notes in Theoretical Computer Science,
Vol. 154,
Issue. 3,
p.
95.
Nestmann, Uwe
2006.
CONCUR 2006 – Concurrency Theory.
Vol. 4137,
Issue. ,
p.
52.
Gorla, Daniele
2006.
Foundations of Software Science and Computation Structures.
Vol. 3921,
Issue. ,
p.
47.
Vigliotti, Maria Grazia
Phillips, Iain
and
Palamidessi, Catuscia
2006.
Formal Methods for Components and Objects.
Vol. 4111,
Issue. ,
p.
172.
De Nicola, Rocco
Gorla, Daniele
and
Pugliese, Rosario
2006.
On the expressive power of KLAIM-based calculi.
Theoretical Computer Science,
Vol. 356,
Issue. 3,
p.
387.
Di Pierro, Alessandra
Hankin, Chris
and
Wiklicky, Herbert
2006.
Formal Methods for Components and Objects.
Vol. 4111,
Issue. ,
p.
388.
Pradalier, Sylvain
and
Palamidessi, Catuscia
2006.
Expressiveness of Probabilistic π-calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 164,
Issue. 3,
p.
119.
Chalopin, Jérémie
2006.
Structural Information and Communication Complexity.
Vol. 4056,
Issue. ,
p.
85.
Deng, Yuxin
and
Palamidessi, Catuscia
2007.
Axiomatizations for probabilistic finite-state behaviors.
Theoretical Computer Science,
Vol. 373,
Issue. 1-2,
p.
92.
Gorla, Daniele
2007.
Synchrony vs Asynchrony in Communication Primitives.
Electronic Notes in Theoretical Computer Science,
Vol. 175,
Issue. 3,
p.
87.