Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
BRAVETTI, MARIO
and
ZAVATTARO, GIANLUIGI
2009.
On the expressive power of process interruption and compensation.
Mathematical Structures in Computer Science,
Vol. 19,
Issue. 3,
p.
565.
Di Giusto, Cinzia
Pérez, Jorge A.
and
Zavattaro, Gianluigi
2009.
Theoretical Aspects of Computing - ICTAC 2009.
Vol. 5684,
Issue. ,
p.
155.
Romanel, Alessandro
and
Priami, Corrado
2010.
On the computational power of BlenX.
Theoretical Computer Science,
Vol. 411,
Issue. 2,
p.
542.
CARDELLI, LUCA
and
ZAVATTARO, GIANLUIGI
2010.
Turing universality of the Biochemical Ground Form.
Mathematical Structures in Computer Science,
Vol. 20,
Issue. 1,
p.
45.
He, Chaodong
2011.
CONCUR 2011 – Concurrency Theory.
Vol. 6901,
Issue. ,
p.
373.
Lanese, Ivan
Pérez, Jorge A.
Sangiorgi, Davide
and
Schmitt, Alan
2011.
On the expressiveness and decidability of higher-order process calculi.
Information and Computation,
Vol. 209,
Issue. 2,
p.
198.
Bravetti, Mario
Di Giusto, Cinzia
Pérez, Jorge A.
and
Zavattaro, Gianluigi
2011.
Formal Techniques for Distributed Systems.
Vol. 6722,
Issue. ,
p.
90.
He, Chaodong
Fu, Yuxi
and
Fu, Hongfei
2012.
Fundamentals of Software Engineering.
Vol. 7141,
Issue. ,
p.
284.
van Glabbeek, Rob
2012.
Musings on Encodings and Expressiveness.
Electronic Proceedings in Theoretical Computer Science,
Vol. 89,
Issue. ,
p.
81.
Baeten, Jos C.M.
Luttik, Bas
and
van Tilburg, Paul
2013.
Reactive Turing machines.
Information and Computation,
Vol. 231,
Issue. ,
p.
143.
Laneve, Cosimo
and
Padovani, Luca
2013.
Integrated Formal Methods.
Vol. 7940,
Issue. ,
p.
301.
Ramírez Restrepo, Carlos Alberto
Pérez, Jorge A.
Aranda, Jesús
and
Díaz-Frias, Juan Francisco
2014.
Towards Formal Interaction-Based Models of Grid Computing Infrastructures.
Electronic Proceedings in Theoretical Computer Science,
Vol. 144,
Issue. ,
p.
57.
Zavattaro, Gianluigi
2015.
Programming Languages with Applications to Biology and Security.
Vol. 9465,
Issue. ,
p.
339.
Luttik, Bas
and
Yang, Fei
2015.
Executable Behaviour and the π-Calculus (extended abstract).
Electronic Proceedings in Theoretical Computer Science,
Vol. 189,
Issue. ,
p.
37.
Laneve, Cosimo
and
Padovani, Luca
2015.
An algebraic theory for web service contracts.
Formal Aspects of Computing,
Vol. 27,
Issue. 4,
p.
613.
Peters, Kirstin
and
van Glabbeek, Rob
2015.
Analysing and Comparing Encodability Criteria.
Electronic Proceedings in Theoretical Computer Science,
Vol. 190,
Issue. ,
p.
46.
Pérez, Jorge A.
2016.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 9688,
Issue. ,
p.
239.
Abdulla, Parosh A.
and
Delzanno, Giorgio
2016.
Parameterized verification.
International Journal on Software Tools for Technology Transfer,
Vol. 18,
Issue. 5,
p.
469.
Martins, Mauricio Dias
Gingras, Bruno
Puig-Waldmueller, Estela
and
Fitch, W. Tecumseh
2017.
Cognitive representation of “musical fractals”: Processing hierarchy and recursion in the auditory domain.
Cognition,
Vol. 161,
Issue. ,
p.
31.
van Glabbeek, Rob J.
2018.
On the validity of encodings of the synchronous in the asynchronous π -calculus.
Information Processing Letters,
Vol. 137,
Issue. ,
p.
17.