Author of the publication

Behavioural Equivalences over Migrating Processes with Timers.

, , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 52-66. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Rewriting Systems Over Indexed Multisets., and . Comput. J., 57 (1): 165-179 (2014)Verification of critical systems described in real-time TiMo., and . Int. J. Softw. Tools Technol. Transf., 19 (4): 395-408 (2017)Space and Time over the Web., and . WWW (Posters), (2003)Reflections on a Scientific Journal.. Sci. Ann. Comput. Sci., 32 (1): 1-4 (2022)A Study of Multiparty Interactions in Continuation Semantics., and . SYNASC, page 117-124. IEEE, (2020)Flattening the Transition P Systems with Dissolution., and . Int. Conf. on Membrane Computing, volume 6501 of Lecture Notes in Computer Science, page 53-64. Springer, (2010)P Systems Running on a Cluster of Computers., and . Workshop on Membrane Computing, volume 2933 of Lecture Notes in Computer Science, page 123-139. Springer, (2003)A S2P ÈP2P\Sigma_2^P \Pi_2^P Lower Bound Using Mobile Membranes., and . DCFS, volume 6808 of Lecture Notes in Computer Science, page 275-288. Springer, (2011)Self-organizing Distribution of Agents over Hosts., and . ISCIS, volume 3733 of Lecture Notes in Computer Science, page 462-471. Springer, (2005)Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra., and . FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 233-247. Springer, (2004)